Mercurial > urweb

comparison lib/basis.urs @ 575:9f02f1765149

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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