Mercurial > gui
comparison sourceL.urs @ 15:8300d5f0dc19
Replace ChangePoller with SourceL, plus some other rearrangements
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 07 Aug 2011 14:38:52 -0400 |
| parents | changePoller.urs@0827320b0f04 |
| children |
comparison
equal
deleted
inserted
replaced
| 14:0827320b0f04 | 15:8300d5f0dc19 |
|---|---|
| 1 (* Reactive sources that accept change listeners *) | |
| 2 | |
| 3 con t :: Type -> Type | |
| 4 | |
| 5 val create : a ::: Type -> a -> transaction (t a) | |
| 6 | |
| 7 val onChange : a ::: Type -> t a -> (a -> transaction {}) -> transaction {} | |
| 8 | |
| 9 val set : a ::: Type -> t a -> a -> transaction {} | |
| 10 val get : a ::: Type -> t a -> transaction a | |
| 11 val value : a ::: Type -> t a -> signal a |