Mercurial > urweb

comparison lib/basis.urs @ 283:c0e4ac23522d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'error' function
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 10:02:27 -0400
parents fdd7a698be01
children 77a28e7430bf
comparison
equal deleted inserted replaced
282:0236d9412ad2 283:c0e4ac23522d
13 val eq : t ::: Type -> eq t -> t -> t -> bool 13 val eq : t ::: Type -> eq t -> t -> t -> bool
14 val ne : t ::: Type -> eq t -> t -> t -> bool 14 val ne : t ::: Type -> eq t -> t -> t -> bool
15 val eq_int : eq int 15 val eq_int : eq int
16 val eq_string : eq string 16 val eq_string : eq string
17 val eq_bool : eq bool 17 val eq_bool : eq bool
18
19
20 (** String operations *)
21
22 val strcat : string -> string -> string
18 23
19 24
20 (** SQL *) 25 (** SQL *)
21 26
22 con sql_table :: {Type} -> Type 27 con sql_table :: {Type} -> Type
254 val loption : unit -> tag [Value = string] select [] [] [] 259 val loption : unit -> tag [Value = string] select [] [] []
255 260
256 val submit : ctx ::: {Unit} -> [LForm] ~ ctx 261 val submit : ctx ::: {Unit} -> [LForm] ~ ctx
257 -> use ::: {Type} -> unit 262 -> use ::: {Type} -> unit
258 -> tag [Action = $use -> transaction page] ([LForm] ++ ctx) ([LForm] ++ ctx) use [] 263 -> tag [Action = $use -> transaction page] ([LForm] ++ ctx) ([LForm] ++ ctx) use []
264
265
266 (** Aborting *)
267
268 val error : t ::: Type -> xml [Body] [] [] -> t