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 *)