encoding.matches
← encoding dialect
Test whether a storage schema satisfies typed semantic requirements.
Operation contract
| Property |
Value |
| Semantic phase |
compile time query |
| Traits |
Pure |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
enc |
encoding<schema> |
required |
Storage schema to query. |
| Result |
result |
i1 |
required |
— |
| Attribute |
requirements |
parameterized #encoding.match |
required |
Authored semantic requirements; omitted fields are wildcards. |
Examples
%supports = encoding.matches<element_format = u4, payload_packing = multi_stream, affine = scale_plus_min> %schema : encoding<schema>