diff options
Diffstat (limited to 'lib/basis.urs')
| -rw-r--r-- | lib/basis.urs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index 38049f13..b9f773c2 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -17,6 +17,11 @@ val eq_string : eq string val eq_bool : eq bool +(** String operations *) + +val strcat : string -> string -> string + + (** SQL *) con sql_table :: {Type} -> Type @@ -256,3 +261,8 @@ val loption : unit -> tag [Value = string] select [] [] [] val submit : ctx ::: {Unit} -> [LForm] ~ ctx -> use ::: {Type} -> unit -> tag [Action = $use -> transaction page] ([LForm] ++ ctx) ([LForm] ++ ctx) use [] + + +(** Aborting *) + +val error : t ::: Type -> xml [Body] [] [] -> t |