Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- contract makePlayer(return) {
- new getFriends, setFriends in {
- MakeCell!([], *getFriends, *setFriends)
- contract endorse(@subject, @level, return) {
- for(@friends <- getFriends) {
- setFriends!([[subject, level], friends], return)
- }
- }
- contract myFriends(level, return) {
- for (@friends <- getFriends) { return!([f for [f, l] in friends if l == level]) } // IOU rholang comprehension
- }
- contract readOnlyFacet (return) {
- return!myFriends
- }
- }
- contract makeGameBoard(return) {
- new getPlayers, setPlayers in {
- MakeCell([], *getPlayers, *setPlayers)
- contract registerPlayer(player, return) {
- for(players <- getPlayers) { setPlayers([player, players], return) }
- }
- contract listPlayers(return) {
- return!getPlayers
- }
- contract getCerts(level, return) {
- // ouch.
- }
- }
Add Comment
Please, Sign In to add comment