2021-06-02 04:57:48 +00:00
|
|
|
version 1 .
|
2021-07-22 12:12:53 +00:00
|
|
|
embeddedType EntityRef.Cap .
|
2021-06-02 04:57:48 +00:00
|
|
|
|
2024-04-04 14:31:09 +00:00
|
|
|
# Dataspace patterns: *almost* a sublanguage of attenuation patterns.
|
|
|
|
|
#
|
|
|
|
|
# One key difference is that Dataspace patterns are extensible, in that
|
2024-04-09 07:14:01 +00:00
|
|
|
# they ignore fields not mentioned in group patterns.
|
2024-04-04 14:31:09 +00:00
|
|
|
|
2024-04-09 07:14:01 +00:00
|
|
|
Pattern =
|
|
|
|
|
/ @discard <_>
|
|
|
|
|
/ <bind @pattern Pattern>
|
|
|
|
|
/ <lit @value AnyAtom>
|
|
|
|
|
/ <group @type GroupType @entries { any: Pattern ...:... }>
|
|
|
|
|
.
|
2021-06-02 04:57:48 +00:00
|
|
|
|
2024-04-09 07:14:01 +00:00
|
|
|
GroupType =
|
|
|
|
|
/ <rec @label any>
|
|
|
|
|
/ <arr>
|
|
|
|
|
/ <dict>
|
|
|
|
|
.
|
2021-06-03 13:58:48 +00:00
|
|
|
|
2021-12-13 12:49:58 +00:00
|
|
|
AnyAtom =
|
|
|
|
|
/ @bool bool
|
|
|
|
|
/ @double double
|
|
|
|
|
/ @int int
|
|
|
|
|
/ @string string
|
|
|
|
|
/ @bytes bytes
|
|
|
|
|
/ @symbol symbol
|
2024-02-05 22:14:19 +00:00
|
|
|
/ @embedded #:any
|
2021-12-13 12:49:58 +00:00
|
|
|
.
|
