Compare commits
2 Commits
5a73e8d4c3
...
e20c81763b
Author | SHA1 | Date |
---|---|---|
Tony Garnock-Jones | e20c81763b | |
Tony Garnock-Jones | 40ca168eac |
|
@ -6,14 +6,18 @@ embeddedType EntityRef.Cap .
|
||||||
# One key difference is that Dataspace patterns are extensible, in that
|
# One key difference is that Dataspace patterns are extensible, in that
|
||||||
# they ignore fields not mentioned in DCompound patterns.
|
# they ignore fields not mentioned in DCompound patterns.
|
||||||
|
|
||||||
Pattern = DDiscard / DBind / DLit / DCompound .
|
Pattern =
|
||||||
|
/ @discard <_>
|
||||||
|
/ <bind @pattern Pattern>
|
||||||
|
/ <lit @value AnyAtom>
|
||||||
|
/ <g @type GroupType @entries { any: Pattern ...:... }>
|
||||||
|
.
|
||||||
|
|
||||||
DDiscard = <_>.
|
GroupType =
|
||||||
DBind = <bind @pattern Pattern>.
|
/ <rec @label any>
|
||||||
DLit = <lit @value AnyAtom>.
|
/ <arr>
|
||||||
DCompound = <rec @label any @fields { int: Pattern ...:... }>
|
/ <dict>
|
||||||
/ <arr @items { int: Pattern ...:... }>
|
.
|
||||||
/ <dict @entries { any: Pattern ...:... }> .
|
|
||||||
|
|
||||||
AnyAtom =
|
AnyAtom =
|
||||||
/ @bool bool
|
/ @bool bool
|
||||||
|
|
|
@ -60,7 +60,7 @@ NoisePreSharedKeys = @present { preSharedKeys: [bytes ...] } / @invalid { preSha
|
||||||
# complete Noise "transport message"; when `complete`, the whole thing is likewise a complete
|
# complete Noise "transport message"; when `complete`, the whole thing is likewise a complete
|
||||||
# "transport message".
|
# "transport message".
|
||||||
#
|
#
|
||||||
# Retraction of the `Introduction` ends the session from the initiator-side; retraction of the
|
# Retraction of the `Initiator` ends the session from the initiator-side; retraction of the
|
||||||
# `<accepted ...>` assertion ends the session from the responder-side.
|
# `<accepted ...>` assertion ends the session from the responder-side.
|
||||||
|
|
||||||
SessionItem = Initiator / Packet .
|
SessionItem = Initiator / Packet .
|
||||||
|
|
Loading…
Reference in New Issue