Mercurial > urweb

comparison lib/basis.urs @ 565:74800be65591

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Creation of sources in server code
author Adam Chlipala <adamc@hcoop.net>
date Fri, 19 Dec 2008 11:47:18 -0500
parents 803b2f3bb86b
children a152905c3c3b
comparison
equal deleted inserted replaced
564:803b2f3bb86b 565:74800be65591
78 val bind : m ::: (Type -> Type) -> t1 ::: Type -> t2 ::: Type 78 val bind : m ::: (Type -> Type) -> t1 ::: Type -> t2 ::: Type
79 -> monad m 79 -> monad m
80 -> m t1 -> (t1 -> m t2) 80 -> m t1 -> (t1 -> m t2)
81 -> m t2 81 -> m t2
82 82
83 (** ** Transactions *)
84
85 con transaction :: Type -> Type 83 con transaction :: Type -> Type
86 val transaction_monad : monad transaction 84 val transaction_monad : monad transaction
87 85
86 con source :: Type -> Type
87 val source : t ::: Type -> t -> transaction (source t)
88
89 con signal :: Type -> Type
90 val signal_monad : monad signal
91 val signal : t ::: Type -> source t -> signal t
88 92
89 93
90 (** HTTP operations *) 94 (** HTTP operations *)
91 95
92 val requestHeader : string -> transaction (option string) 96 val requestHeader : string -> transaction (option string)