Mercurial > urweb

comparison lib/basis.urs @ 422:0ce90d4d9ae7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud2 demo
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Oct 2008 18:45:10 -0400
parents e0e9e9eca1cb
children 024478c34f4d
comparison
equal deleted inserted replaced
421:0767d7ad0c3a 422:0ce90d4d9ae7
16 val ne : t ::: Type -> eq t -> t -> t -> bool 16 val ne : t ::: Type -> eq t -> t -> t -> bool
17 val eq_int : eq int 17 val eq_int : eq int
18 val eq_float : eq float 18 val eq_float : eq float
19 val eq_string : eq string 19 val eq_string : eq string
20 val eq_bool : eq bool 20 val eq_bool : eq bool
21 val mkEq : t ::: Type -> (t -> t -> bool) -> eq t
21 22
22 class num 23 class num
23 val zero : t ::: Type -> num t -> t 24 val zero : t ::: Type -> num t -> t
24 val neg : t ::: Type -> num t -> t -> t 25 val neg : t ::: Type -> num t -> t -> t
25 val plus : t ::: Type -> num t -> t -> t -> t 26 val plus : t ::: Type -> num t -> t -> t -> t
363 val radio : formTag string radio [] 364 val radio : formTag string radio []
364 val radioOption : unit -> tag [Value = string] radio [] [] [] 365 val radioOption : unit -> tag [Value = string] radio [] [] []
365 366
366 con select = [Select] 367 con select = [Select]
367 val select : formTag string select [] 368 val select : formTag string select []
368 val option : unit -> tag [Value = string] select [] [] [] 369 val option : unit -> tag [Value = string, Selected = bool] select [] [] []
369 370
370 val submit : ctx ::: {Unit} -> use ::: {Type} 371 val submit : ctx ::: {Unit} -> use ::: {Type}
371 -> fn [[Form] ~ ctx] => 372 -> fn [[Form] ~ ctx] =>
372 unit 373 unit
373 -> tag [Value = string, Action = $use -> transaction page] 374 -> tag [Value = string, Action = $use -> transaction page]