Mercurial > urweb
comparison lib/basis.urs @ 575:9f02f1765149
Starting to implement source set
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 30 Dec 2008 09:43:41 -0500 |
parents | 55fc747a67dc |
children | 4c2c740c6931 |
comparison
equal
deleted
inserted
replaced
574:ac947e2f29ff | 575:9f02f1765149 |
---|---|
83 con transaction :: Type -> Type | 83 con transaction :: Type -> Type |
84 val transaction_monad : monad transaction | 84 val transaction_monad : monad transaction |
85 | 85 |
86 con source :: Type -> Type | 86 con source :: Type -> Type |
87 val source : t ::: Type -> t -> transaction (source t) | 87 val source : t ::: Type -> t -> transaction (source t) |
88 val set : t ::: Type -> source t -> t -> transaction unit | |
88 | 89 |
89 con signal :: Type -> Type | 90 con signal :: Type -> Type |
90 val signal_monad : monad signal | 91 val signal_monad : monad signal |
91 val signal : t ::: Type -> source t -> signal t | 92 val signal : t ::: Type -> source t -> signal t |
92 | 93 |