syndicate-lang
/
syndicate-protocols
1
0
Fork 1
Code Issues 3 Pull Requests 2 Projects Releases Wiki Activity

TAttenuate

This commit is contained in:
Tony Garnock-Jones 2021-06-09 15:06:58 +02:00
parent 930f7eda00
commit 8cbe2475e3
6 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dataspace.prs
View File

@ -1,4 +1,4 @@
version 1 . version 1 .
embeddedType Actor.Ref . embeddedType EntityRef.Ref .
Observe = <Observe @pattern dataspace-patterns.Pattern @observer #!any>. Observe = <Observe @pattern dataspace-patterns.Pattern @observer #!any>.

2
gatekeeper.prs
View File

@ -1,5 +1,5 @@
version 1 . version 1 .
embeddedType Actor.Ref . embeddedType EntityRef.Ref .
Resolve = <resolve @sturdyref sturdy.SturdyRef @observer #!#!any>. Resolve = <resolve @sturdyref sturdy.SturdyRef @observer #!#!any>.
Bind = <bind @oid any @key bytes @target #!any>. Bind = <bind @oid any @key bytes @target #!any>.

2
secure-chat-protocol.prs
View File

@ -1,5 +1,5 @@
version 1 . version 1 .
embeddedType Actor.Ref . embeddedType EntityRef.Ref .
UserId = int . UserId = int .

2
simple-chat-protocol.prs
View File

@ -1,5 +1,5 @@
version 1 . version 1 .
embeddedType Actor.Ref . embeddedType EntityRef.Ref .
Present = <Present @username string>. Present = <Present @username string>.
Says = <Says @who string @what string>. Says = <Says @who string @what string>.

3
sturdy.prs
View File

@ -36,7 +36,8 @@ PNot = <not @pattern Pattern>.
PCompound = <compound @ctor ConstructorSpec @members PCompoundMembers>. PCompound = <compound @ctor ConstructorSpec @members PCompoundMembers>.
PCompoundMembers = { any: Pattern ...:... }. PCompoundMembers = { any: Pattern ...:... }.
Template = TRef / Lit / TCompound . Template = TAttenuate / TRef / Lit / TCompound .
TAttenuate = <attenuate @template Template @attenuation Attenuation>.
TRef = <ref @name symbol>. TRef = <ref @name symbol>.
TCompound = <compound @ctor ConstructorSpec @members TCompoundMembers>. TCompound = <compound @ctor ConstructorSpec @members TCompoundMembers>.
TCompoundMembers = { any: Template ...:... }. TCompoundMembers = { any: Template ...:... }.

2
worker.prs
View File

@ -1,4 +1,4 @@
version 1 . version 1 .
embeddedType Actor.Ref . embeddedType EntityRef.Ref .
Instance = <Instance @name string @argument any>. Instance = <Instance @name string @argument any>.