Mercurial > gui
annotate sourceL.urs @ 26:86857ae0f386
Change more dashes to slashes, for JavaScript compatibility
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 09 Dec 2011 17:38:20 -0500 |
| parents | 8300d5f0dc19 |
| children |
| rev | line source |
|---|---|
| adam@15 | 1 (* Reactive sources that accept change listeners *) |
| kkallio@14 | 2 |
| adam@15 | 3 con t :: Type -> Type |
| kkallio@14 | 4 |
| adam@15 | 5 val create : a ::: Type -> a -> transaction (t a) |
| kkallio@14 | 6 |
| adam@15 | 7 val onChange : a ::: Type -> t a -> (a -> transaction {}) -> transaction {} |
| kkallio@14 | 8 |
| adam@15 | 9 val set : a ::: Type -> t a -> a -> transaction {} |
| adam@15 | 10 val get : a ::: Type -> t a -> transaction a |
| adam@15 | 11 val value : a ::: Type -> t a -> signal a |