git.iko.soy/jibb
on c4e28d2 help sign in
jibb/tests/type-program-main/initializer-model.txt
11 lines 400 B history raw
1+$ model [xs=(list @t) draft=@t error=(unit @t)]
2+$ other [xs=(list @t) draft=@t error=(unit @t) extra=@ud]
3+$ message
4 %start
5 %stop
6++ main (program init update view subs)
7++ init |= ts=(list @t) [ts "" ~]
8++ update |= [msg=message state=other]
9 ^- [other (list (cmd message))] [state ~]
10++ view |= state=model ^- (element message) (text "view")
11++ subs |= state=model ^- (list (sub message)) ~