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