diff --git a/AlgebraicDataflowArchitectureModel/models/Twitter.model b/AlgebraicDataflowArchitectureModel/models/Twitter.model index 5d5c34b..649abac 100644 --- a/AlgebraicDataflowArchitectureModel/models/Twitter.model +++ b/AlgebraicDataflowArchitectureModel/models/Twitter.model @@ -1,5 +1,9 @@ -channel CIO(myId:Str) { - out accounts.{myId}.tweets(t1:List, tweet(text:Str, time:Long)) == cons(tuple(time, text), t1) +channel CIO1(myId:Str) { + out accounts(ac:List, signup(name:Str)) == cons(tuple(name, nil, nil), t1) +} + +channel CIO2(id:Str) { + out accounts.{id}.tweets(t1:List, tweet(text:Str, time:Long)) == cons(tuple(time, text), t1) } channel C(myId:Str; m:Json) {