diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-03-22 15:05:07 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-22 15:05:07 -0400 |
commit | 728965a2d50c6a1e3461309016ece1921492ff37 (patch) | |
tree | 5a3c064007e7481a452bc60d9dfaeabebb515a53 /lib/ur/basis.urs | |
parent | aa8373e15c46685b6d6a951342205fd28dc52f1a (diff) |
First message send delivered, but not interpreted
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r-- | lib/ur/basis.urs | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index e4bff8a9..e7172db1 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -367,7 +367,7 @@ val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> unit 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 @@ val td : other ::: {Unit} -> [other ~ [Body, Tr]] => (** 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 |