diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-01-01 11:26:34 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-01-01 11:26:34 -0500 |
| commit | 8b3466d0a9c959d05f396c10cd71c7a889bfc0d9 (patch) | |
| tree | ad81dc4410270cae7348e7902dfaa459f763eae0 /tests/stypes.ur | |
| parent | e20b0d94365c9f5ff493b14894685abdceab89ce (diff) | |
Basic datatype reactives
Diffstat (limited to 'tests/stypes.ur')
| -rw-r--r-- | tests/stypes.ur | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/tests/stypes.ur b/tests/stypes.ur index c752234c..6c590843 100644 --- a/tests/stypes.ur +++ b/tests/stypes.ur @@ -1,3 +1,25 @@ +datatype color = Red | White | Blue + +fun c2s c = + case c of + Red => "Red" + | White => "White" + | Blue => "Blue" + +val show_color = mkShow c2s + +datatype list a = Nil | Cons of a * list a + +fun isNil (t ::: Type) (ls : list t) = + case ls of + Nil => True + | _ => False + +fun delist (ls : list string) : xml body [] [] = + case ls of + Nil => <xml>Nil</xml> + | Cons (h, t) => <xml>{[h]} :: {delist t}</xml> + fun main () : transaction page = sInt <- source 0; sFloat <- source 1.23; @@ -6,6 +28,9 @@ fun main () : transaction page = sOpt <- source None; sBool <- source True; + sColor <- source White; + sList <- source Nil; + return <xml><body> <dyn signal={n <- signal sInt; return <xml>{[n + 3]}</xml>}/> <a onclick={set sInt 1}>Change</a><br/> @@ -25,4 +50,12 @@ fun main () : transaction page = <dyn signal={b <- signal sBool; return <xml>{[b]}</xml>}/> <dyn signal={b <- signal sBool; if b then return <xml>Yes</xml> else return <xml>No</xml>}/> <a onclick={set sBool False}>Change</a><br/> + + <dyn signal={c <- signal sColor; return <xml>{[c]}</xml>}/> + <a onclick={set sColor Red}>Red</a> + <a onclick={set sColor White}>White</a> + <a onclick={set sColor Blue}>Blue</a><br/> + + <dyn signal={ls <- signal sList; return <xml>{[isNil ls]}</xml>}/> + <a onclick={set sList (Cons ("A", Cons ("B", Nil)))}>Change</a><br/> </body></xml> |