syndicate-protocols/schemas/dataspacePatterns.prs

23 lines
521 B
Plaintext
Raw Normal View History

version 1 .
2021-07-22 12:12:53 +00:00
embeddedType EntityRef.Cap .
; Dataspace patterns: a sublanguage of attenuation patterns.
Pattern = DDiscard / DBind / DLit / DCompound .
DDiscard = <_>.
2021-08-11 19:43:29 +00:00
DBind = <bind @pattern Pattern>.
DLit = <lit @value AnyAtom>.
DCompound = <rec @label any @fields [Pattern ...]>
/ <arr @items [Pattern ...]>
/ <dict @entries { any: Pattern ...:... }> .
2021-06-03 13:58:48 +00:00
AnyAtom =
/ @bool bool
/ @float float
/ @double double
/ @int int
/ @string string
/ @bytes bytes
/ @symbol symbol
.