Mercurial > urweb

comparison lib/ur/basis.urs @ 668:b0c1a46b1f15

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
667:a93d5324f400 668:b0c1a46b1f15
365 -> tag [Signal = signal (xml ctx use bind)] ctx [] use bind 365 -> tag [Signal = signal (xml ctx use bind)] ctx [] use bind
366 366
367 val head : unit -> tag [] html head [] [] 367 val head : unit -> tag [] html head [] []
368 val title : unit -> tag [] head [] [] [] 368 val title : unit -> tag [] head [] [] []
369 369
370 val body : unit -> tag [] html body [] [] 370 val body : unit -> tag [Onload = transaction unit] html body [] []
371 con bodyTag = fn (attrs :: {Type}) => 371 con bodyTag = fn (attrs :: {Type}) =>
372 ctx ::: {Unit} -> 372 ctx ::: {Unit} ->
373 [[Body] ~ ctx] => 373 [[Body] ~ ctx] =>
374 unit -> tag attrs ([Body] ++ ctx) ([Body] ++ ctx) [] [] 374 unit -> tag attrs ([Body] ++ ctx) ([Body] ++ ctx) [] []
375 con bodyTagStandalone = fn (attrs :: {Type}) => 375 con bodyTagStandalone = fn (attrs :: {Type}) =>
450 450
451 451
452 (** Aborting *) 452 (** Aborting *)
453 453
454 val error : t ::: Type -> xml [Body] [] [] -> t 454 val error : t ::: Type -> xml [Body] [] [] -> t
455
456
457 (** Channels *)
458
459 con channel :: Type -> Type
460 val channel : t ::: Type -> transaction (channel t)
461 val subscribe : t ::: Type -> channel t -> transaction unit
462 val send : t ::: Type -> channel t -> t -> transaction unit