Mercurial > urweb
diff lib/ur/basis.urs @ 668:b0c1a46b1f15
First message send delivered, but not interpreted
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 22 Mar 2009 15:05:07 -0400 |
| parents | 81c5c2674215 |
| children | f73913d97a40 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Thu Mar 19 16:34:13 2009 -0400 +++ b/lib/ur/basis.urs Sun Mar 22 15:05:07 2009 -0400 @@ -367,7 +367,7 @@ val head : unit -> tag [] html head [] [] val title : unit -> tag [] head [] [] [] -val body : unit -> tag [] html body [] [] +val body : unit -> tag [Onload = transaction unit] html body [] [] con bodyTag = fn (attrs :: {Type}) => ctx ::: {Unit} -> [[Body] ~ ctx] => @@ -452,3 +452,11 @@ (** Aborting *) val error : t ::: Type -> xml [Body] [] [] -> t + + +(** Channels *) + +con channel :: Type -> Type +val channel : t ::: Type -> transaction (channel t) +val subscribe : t ::: Type -> channel t -> transaction unit +val send : t ::: Type -> channel t -> t -> transaction unit