From ed7c55c7d3d47e59b73cda4d1d7663bec6728934 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Fri, 19 Dec 2008 11:47:18 -0500
Subject: Creation of sources in server code

---
 lib/basis.urs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/basis.urs b/lib/basis.urs
index 25923870..ffba2b37 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -80,11 +80,15 @@ val bind : m ::: (Type -> Type) -> t1 ::: Type -> t2 ::: Type
            -> 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 *)
-- 
cgit v1.2.3