diff --git a/AlgebraicDataflowArchitectureModel/models/BagTest.model b/AlgebraicDataflowArchitectureModel/models/BagTest.model new file mode 100644 index 0000000..3a27bfa --- /dev/null +++ b/AlgebraicDataflowArchitectureModel/models/BagTest.model @@ -0,0 +1,8 @@ +channel signUp { + out accounts(acs: Map, signUp(id, name)) = insert(acs, id, {"name": name, "friends": nil}) +} + +channel makeFriend(aid) { + out accounts.{aid}.friends(friends: List, addFreinds(fid)) = append(friends, fid) + out accounts.{fid}.friends(friends: List, addFreinds(fid)) = append(friends, aid) +} \ No newline at end of file