Mercurial > urweb
diff lib/basis.urs @ 565:74800be65591
Creation of sources in server code
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Fri, 19 Dec 2008 11:47:18 -0500 (2008-12-19) |
parents | 803b2f3bb86b |
children | a152905c3c3b |
line wrap: on
line diff
--- a/lib/basis.urs Fri Dec 19 10:27:58 2008 -0500 +++ b/lib/basis.urs Fri Dec 19 11:47:18 2008 -0500 @@ -80,11 +80,15 @@ -> m t1 -> (t1 -> m t2) -> m t2 -(** ** Transactions *) - con transaction :: Type -> Type val transaction_monad : monad transaction +con source :: Type -> Type +val source : t ::: Type -> t -> transaction (source t) + +con signal :: Type -> Type +val signal_monad : monad signal +val signal : t ::: Type -> source t -> signal t (** HTTP operations *)