Mercurial > urweb

comparison lib/basis.urs @ 406:a71600cac815

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Form example
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 17:30:06 -0400
parents 8084fa9216de
children 345fcf91c806
comparison
equal deleted inserted replaced
405:948315ea84c3 406:a71600cac815
364 val option : unit -> tag [Value = string] select [] [] [] 364 val option : unit -> tag [Value = string] select [] [] []
365 365
366 val submit : ctx ::: {Unit} -> use ::: {Type} 366 val submit : ctx ::: {Unit} -> use ::: {Type}
367 -> fn [[Form] ~ ctx] => 367 -> fn [[Form] ~ ctx] =>
368 unit 368 unit
369 -> tag [Action = $use -> transaction page] 369 -> tag [Value = string, Action = $use -> transaction page]
370 ([Form] ++ ctx) ([Form] ++ ctx) use [] 370 ([Form] ++ ctx) ([Form] ++ ctx) use []
371 371
372 (*** Tables *) 372 (*** Tables *)
373 373
374 val tabl : unit -> tag [Border = int] [Body] [Body, Table] [] [] 374 val tabl : other ::: {Unit} -> fn [other ~ [Body, Table]] =>
375 val tr : unit -> tag [] [Body, Table] [Body, Tr] [] [] 375 unit -> tag [Border = int] ([Body] ++ other) ([Body, Table] ++ other) [] []
376 val th : unit -> tag [] [Body, Tr] [Body] [] [] 376 val tr : other ::: {Unit} -> fn [other ~ [Body, Table, Tr]] =>
377 val td : unit -> tag [] [Body, Tr] [Body] [] [] 377 unit -> tag [] ([Body, Table] ++ other) ([Body, Tr] ++ other) [] []
378 val th : other ::: {Unit} -> fn [other ~ [Body, Tr]] =>
379 unit -> tag [] ([Body, Tr] ++ other) ([Body] ++ other) [] []
380 val td : other ::: {Unit} -> fn [other ~ [Body, Tr]] =>
381 unit -> tag [] ([Body, Tr] ++ other) ([Body] ++ other) [] []
378 382
379 383
380 (** Aborting *) 384 (** Aborting *)
381 385
382 val error : t ::: Type -> xml [Body] [] [] -> t 386 val error : t ::: Type -> xml [Body] [] [] -> t