| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071 |
- /+ *wrapper
- =>
- |%
- +$ versioned-state
- $% test-state
- ==
- +$ test-state [%0 val=@]
- ++ moat (keep test-state)
- +$ cause ?(%inc %inc-exit)
- ::
- +$ effect
- $% [%state test-state]
- [%exit id=@]
- ==
- --
- ::
- %- (moat |)
- ^- fort:moat
- |_ k=test-state
- ::
- :: +load: upgrade from previous state
- ::
- ++ load
- |= old=test-state
- ~& "test-app: load"
- ?~ ((soft versioned-state) old)
- ~& "test-app: +load old state does not nest under versioned-state"
- !!
- old
- ::
- :: +peek: external inspect
- ::
- ++ peek
- |= arg=*
- ^- (unit (unit *))
- =/ pax ((soft path) arg)
- ?~ pax ~|(invalid-peek+pax !!)
- ~& > "peeked at {<u.pax>}"
- ?+ u.pax ~|(invalid-peek+pax !!)
- ::
- [%state ~]
- ``k
- ==
- ::
- :: +poke: external apply
- ::
- ++ poke
- |= [=wire eny=@ our=@ux now=@da dat=*]
- ^- [(list effect) test-state]
- ~& >> "poke: {<wire>}"
- =/ sof-cau=(unit cause) ((soft cause) dat)
- ?~ sof-cau
- ~& "cause incorrectly formatted!"
- ~& dat
- !!
- ?+ `@tas`u.sof-cau !!
- %inc
- =. val.k +(val.k)
- :_ k
- =- ~& effect+-
- -
- ~[[%state k]]
- ::
- %inc-exit
- =. val.k +(val.k)
- :_ k
- =- ~& effect+-
- -
- ~[[%exit 0] [%state k]]
- ==
- --
|
