Mercurial > urweb

annotate lib/ur/basis.urs @ 2234:2f7ed04332a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Progress on LRU cache but still more known bugs to fix.
author Ziv Scully <ziv@mit.edu>
date Sun, 28 Jun 2015 12:46:51 -0700
parents e8863d9f8c59
children 3ca67d73fa5d
rev   line source
adamc@56 1 type int
adamc@56 2 type float
adamc@56 3 type string
adamc@821 4 type char
adamc@436 5 type time
adamc@737 6 type blob
adamc@91 7
adamc@119 8 type unit = {}
adamc@119 9
adamc@186 10 datatype bool = False | True
adamc@186 11
adamc@288 12 datatype option t = None | Some of t
adamc@284 13
adamc@757 14 datatype list t = Nil | Cons of t * list t
adamc@757 15
adamc@91 16
adam@1287 17 (** Polymorphic variants *)
adam@1287 18
adam@1287 19 con variant :: {Type} -> Type
adam@1287 20 val make : nm :: Name -> t ::: Type -> ts ::: {Type} -> [[nm] ~ ts] => t -> variant ([nm = t] ++ ts)
adam@1287 21 val match : ts ::: {Type} -> t ::: Type -> variant ts -> $(map (fn t' => t' -> t) ts) -> t
adam@1287 22
adam@1287 23
adamc@256 24 (** Basic type classes *)
adamc@256 25
adamc@256 26 class eq
adamc@256 27 val eq : t ::: Type -> eq t -> t -> t -> bool
adamc@257 28 val ne : t ::: Type -> eq t -> t -> t -> bool
adamc@256 29 val eq_int : eq int
adamc@394 30 val eq_float : eq float
adamc@256 31 val eq_string : eq string
adamc@821 32 val eq_char : eq char
adamc@256 33 val eq_bool : eq bool
adamc@437 34 val eq_time : eq time
adamc@422 35 val mkEq : t ::: Type -> (t -> t -> bool) -> eq t
adamc@256 36
adamc@389 37 class num
adamc@417 38 val zero : t ::: Type -> num t -> t
adamc@389 39 val neg : t ::: Type -> num t -> t -> t
adamc@389 40 val plus : t ::: Type -> num t -> t -> t -> t
adamc@389 41 val minus : t ::: Type -> num t -> t -> t -> t
adamc@389 42 val times : t ::: Type -> num t -> t -> t -> t
adamc@775 43 val divide : t ::: Type -> num t -> t -> t -> t
adamc@389 44 val mod : t ::: Type -> num t -> t -> t -> t
adam@1832 45 val pow : t ::: Type -> num t -> t -> t -> t
adamc@389 46 val num_int : num int
adamc@390 47 val num_float : num float
adamc@389 48
adamc@391 49 class ord
adamc@391 50 val lt : t ::: Type -> ord t -> t -> t -> bool
adamc@391 51 val le : t ::: Type -> ord t -> t -> t -> bool
adamc@391 52 val gt : t ::: Type -> ord t -> t -> t -> bool
adamc@391 53 val ge : t ::: Type -> ord t -> t -> t -> bool
adamc@391 54 val ord_int : ord int
adamc@394 55 val ord_float : ord float
adamc@394 56 val ord_string : ord string
adamc@821 57 val ord_char : ord char
adamc@394 58 val ord_bool : ord bool
adamc@437 59 val ord_time : ord time
adamc@961 60 val mkOrd : t ::: Type -> {Lt : t -> t -> bool, Le : t -> t -> bool} -> ord t
adamc@391 61
adamc@256 62
adamc@1061 63 (** Character operations *)
adamc@1061 64
adamc@1061 65 val isalnum : char -> bool
adamc@1061 66 val isalpha : char -> bool
adamc@1061 67 val isblank : char -> bool
adamc@1061 68 val iscntrl : char -> bool
adamc@1061 69 val isdigit : char -> bool
adamc@1061 70 val isgraph : char -> bool
adamc@1061 71 val islower : char -> bool
adamc@1061 72 val isprint : char -> bool
adamc@1061 73 val ispunct : char -> bool
adamc@1061 74 val isspace : char -> bool
adamc@1061 75 val isupper : char -> bool
adamc@1061 76 val isxdigit : char -> bool
adamc@1061 77 val tolower : char -> char
adamc@1061 78 val toupper : char -> char
adamc@1128 79 val ord : char -> int
adamc@1128 80 val chr : int -> char
adamc@1061 81
adamc@283 82 (** String operations *)
adamc@283 83
adamc@828 84 val strlen : string -> int
adam@1388 85 val strlenGe : string -> int -> bool
adamc@283 86 val strcat : string -> string -> string
adamc@821 87 val strsub : string -> int -> char
adamc@821 88 val strsuffix : string -> int -> string
adamc@829 89 val strchr : string -> char -> option string
adamc@829 90 val strindex : string -> char -> option int
adam@1390 91 val strsindex : string -> string -> option int
adamc@1272 92 val strcspn : string -> string -> int
adamc@829 93 val substring : string -> int -> int -> string
adamc@1023 94 val str1 : char -> string
adamc@283 95
adamc@286 96 class show
adamc@286 97 val show : t ::: Type -> show t -> t -> string
adamc@286 98 val show_int : show int
adamc@286 99 val show_float : show float
adamc@286 100 val show_string : show string
adamc@821 101 val show_char : show char
adamc@286 102 val show_bool : show bool
adamc@436 103 val show_time : show time
adamc@452 104 val mkShow : t ::: Type -> (t -> string) -> show t
adamc@286 105
adamc@290 106 class read
adamc@290 107 val read : t ::: Type -> read t -> string -> option t
adamc@292 108 val readError : t ::: Type -> read t -> string -> t
adamc@292 109 (* [readError] calls [error] if the input is malformed. *)
adamc@290 110 val read_int : read int
adamc@290 111 val read_float : read float
adamc@290 112 val read_string : read string
adamc@821 113 val read_char : read char
adamc@290 114 val read_bool : read bool
adamc@436 115 val read_time : read time
adamc@777 116 val mkRead : t ::: Type -> (string -> t) -> (string -> option t) -> read t
adamc@288 117
adamc@283 118
adamc@564 119 (** * Monads *)
adamc@564 120
adamc@711 121 class monad :: (Type -> Type) -> Type
adamc@564 122 val return : m ::: (Type -> Type) -> t ::: Type
adamc@564 123 -> monad m
adamc@564 124 -> t -> m t
adamc@564 125 val bind : m ::: (Type -> Type) -> t1 ::: Type -> t2 ::: Type
adamc@564 126 -> monad m
adamc@564 127 -> m t1 -> (t1 -> m t2)
adamc@564 128 -> m t2
adamc@564 129
adam@1544 130 val mkMonad : m ::: (Type -> Type)
adam@1544 131 -> {Return : t ::: Type -> t -> m t,
adam@1544 132 Bind : t1 ::: Type -> t2 ::: Type -> m t1 -> (t1 -> m t2) -> m t2}
adam@1544 133 -> monad m
adam@1544 134
adamc@456 135 con transaction :: Type -> Type
adamc@564 136 val transaction_monad : monad transaction
adamc@456 137
adamc@565 138 con source :: Type -> Type
adamc@565 139 val source : t ::: Type -> t -> transaction (source t)
adamc@575 140 val set : t ::: Type -> source t -> t -> transaction unit
adamc@601 141 val get : t ::: Type -> source t -> transaction t
adamc@565 142
adamc@565 143 con signal :: Type -> Type
adamc@565 144 val signal_monad : monad signal
adamc@565 145 val signal : t ::: Type -> source t -> signal t
adamc@841 146 val current : t ::: Type -> signal t -> transaction t
adamc@456 147
adamc@456 148
adam@1571 149 (** * Floats *)
adam@1571 150
adam@1571 151 val float : int -> float
adam@1571 152 val ceil : float -> int
adam@1571 153 val trunc : float -> int
adam@1571 154 val round : float -> int
adam@1571 155
adam@1571 156
adamc@1006 157 (** * Time *)
adamc@1006 158
adamc@1006 159 val now : transaction time
adamc@1050 160 val minTime : time
adam@1369 161 val addSeconds : time -> int -> time
adam@1514 162 val toSeconds : time -> int
adam@1514 163 val diffInSeconds : time -> time -> int
adam@1514 164 (* Earlier time first *)
adam@1685 165 val toMilliseconds : time -> int
adam@1685 166 val diffInMilliseconds : time -> time -> int
adam@1359 167 val timef : string -> time -> string (* Uses strftime() format string *)
adam@1372 168 val readUtc : string -> option time
adamc@1006 169
phurst@1971 170 (* Takes a year, month, day, hour, minute, second. *)
phurst@1971 171 val fromDatetime : int -> int -> int -> int -> int -> int -> time
phurst@1971 172 val datetimeYear : time -> int
phurst@1971 173 val datetimeMonth : time -> int
phurst@1971 174 val datetimeDay : time -> int
phurst@1971 175 val datetimeHour : time -> int
phurst@1971 176 val datetimeMinute: time -> int
phurst@1971 177 val datetimeSecond : time -> int
phurst@1973 178 val datetimeDayOfWeek : time -> int
phurst@1971 179
adamc@1006 180
adam@1360 181 (** * Encryption *)
adam@1360 182
adam@1360 183 val crypt : string -> string -> string
adam@1360 184
adam@1360 185
adamc@456 186 (** HTTP operations *)
adamc@456 187
adamc@459 188 con http_cookie :: Type -> Type
adamc@459 189 val getCookie : t ::: Type -> http_cookie t -> transaction (option t)
adamc@1050 190 val setCookie : t ::: Type -> http_cookie t -> {Value : t,
adamc@1050 191 Expires : option time,
adamc@1050 192 Secure : bool} -> transaction unit
adamc@1050 193 val clearCookie : t ::: Type -> http_cookie t -> transaction unit
adamc@459 194
adam@1465 195 type requestHeader
adam@1465 196 val blessRequestHeader : string -> requestHeader
adam@1465 197 val checkRequestHeader : string -> option requestHeader
adam@1465 198 val getHeader : requestHeader -> transaction (option string)
adam@1465 199
adam@1465 200 type responseHeader
adam@1465 201 val blessResponseHeader : string -> responseHeader
adam@1465 202 val checkResponseHeader : string -> option responseHeader
adam@1465 203 val setHeader : responseHeader -> string -> transaction unit
adam@1465 204
adam@1799 205 type envVar
adam@1799 206 val blessEnvVar : string -> envVar
adam@1799 207 val checkEnvVar : string -> option envVar
adam@1799 208 val getenv : envVar -> transaction (option string)
adam@1799 209
adamc@456 210
adamc@566 211 (** JavaScript-y gadgets *)
adamc@566 212
adamc@566 213 val alert : string -> transaction unit
adam@1290 214 val confirm : string -> transaction bool
adamc@694 215 val spawn : transaction unit -> transaction unit
adamc@695 216 val sleep : int -> transaction unit
adamc@566 217
adamc@908 218 val rpc : t ::: Type -> transaction t -> transaction t
adam@1848 219 val tryRpc : t ::: Type -> transaction t -> transaction (option t)
adam@1848 220 (* Returns [None] on error condition. *)
adamc@908 221
adamc@566 222
adamc@678 223 (** Channels *)
adamc@678 224
adamc@678 225 con channel :: Type -> Type
adamc@678 226 val channel : t ::: Type -> transaction (channel t)
adamc@678 227 val send : t ::: Type -> channel t -> t -> transaction unit
adamc@678 228 val recv : t ::: Type -> channel t -> transaction t
adamc@678 229
adamc@682 230 type client
adamc@682 231 val self : transaction client
adamc@682 232
adamc@678 233
adamc@203 234 (** SQL *)
adamc@203 235
adamc@705 236 con sql_table :: {Type} -> {{Unit}} -> Type
adamc@753 237 con sql_view :: {Type} -> Type
adamc@753 238
adamc@753 239 class fieldsOf :: Type -> {Type} -> Type
adamc@753 240 val fieldsOf_table : fs ::: {Type} -> keys ::: {{Unit}}
adamc@753 241 -> fieldsOf (sql_table fs keys) fs
adamc@753 242 val fieldsOf_view : fs ::: {Type}
adamc@753 243 -> fieldsOf (sql_view fs) fs
adamc@203 244
adamc@704 245 (*** Constraints *)
adamc@704 246
adamc@707 247 (**** Primary keys *)
adamc@707 248
adamc@707 249 class sql_injectable_prim
adamc@707 250 val sql_bool : sql_injectable_prim bool
adamc@707 251 val sql_int : sql_injectable_prim int
adamc@707 252 val sql_float : sql_injectable_prim float
adamc@707 253 val sql_string : sql_injectable_prim string
adamc@1011 254 val sql_char : sql_injectable_prim char
adamc@707 255 val sql_time : sql_injectable_prim time
adamc@737 256 val sql_blob : sql_injectable_prim blob
adamc@707 257 val sql_channel : t ::: Type -> sql_injectable_prim (channel t)
adamc@707 258 val sql_client : sql_injectable_prim client
adamc@707 259
adamc@1104 260 con serialized :: Type -> Type
adamc@1104 261 val serialize : t ::: Type -> t -> serialized t
adamc@1104 262 val deserialize : t ::: Type -> serialized t -> t
adamc@1104 263 val sql_serialized : t ::: Type -> sql_injectable_prim (serialized t)
adamc@1104 264
adamc@707 265 con primary_key :: {Type} -> {{Unit}} -> Type
adamc@707 266 val no_primary_key : fs ::: {Type} -> primary_key fs []
adamc@707 267 val primary_key : rest ::: {Type} -> t ::: Type -> key1 :: Name -> keys :: {Type}
adamc@707 268 -> [[key1] ~ keys] => [[key1 = t] ++ keys ~ rest]
adamc@707 269 => $([key1 = sql_injectable_prim t] ++ map sql_injectable_prim keys)
adamc@707 270 -> primary_key ([key1 = t] ++ keys ++ rest)
adamc@707 271 [Pkey = [key1] ++ map (fn _ => ()) keys]
adamc@707 272
adamc@707 273 (**** Other constraints *)
adamc@707 274
adamc@705 275 con sql_constraints :: {Type} -> {{Unit}} -> Type
adamc@705 276 (* Arguments: column types, uniqueness implications of constraints *)
adamc@704 277
adamc@705 278 con sql_constraint :: {Type} -> {Unit} -> Type
adamc@704 279
adamc@705 280 val no_constraint : fs ::: {Type} -> sql_constraints fs []
adamc@705 281 val one_constraint : fs ::: {Type} -> unique ::: {Unit} -> name :: Name
adamc@705 282 -> sql_constraint fs unique
adamc@705 283 -> sql_constraints fs [name = unique]
adamc@705 284 val join_constraints : fs ::: {Type}
adamc@705 285 -> uniques1 ::: {{Unit}} -> uniques2 ::: {{Unit}} -> [uniques1 ~ uniques2]
adamc@705 286 => sql_constraints fs uniques1 -> sql_constraints fs uniques2
adamc@705 287 -> sql_constraints fs (uniques1 ++ uniques2)
adamc@705 288
adamc@709 289
adamc@705 290 val unique : rest ::: {Type} -> t ::: Type -> unique1 :: Name -> unique :: {Type}
adamc@705 291 -> [[unique1] ~ unique] => [[unique1 = t] ++ unique ~ rest]
adamc@705 292 => sql_constraint ([unique1 = t] ++ unique ++ rest) ([unique1] ++ map (fn _ => ()) unique)
adamc@704 293
adamc@712 294 class linkable :: Type -> Type -> Type
adamc@712 295 val linkable_same : t ::: Type -> linkable t t
adamc@712 296 val linkable_from_nullable : t ::: Type -> linkable (option t) t
adamc@712 297 val linkable_to_nullable : t ::: Type -> linkable t (option t)
adamc@712 298
adamc@709 299 con matching :: {Type} -> {Type} -> Type
adamc@709 300 val mat_nil : matching [] []
adamc@712 301 val mat_cons : t1 ::: Type -> rest1 ::: {Type} -> t2 ::: Type -> rest2 ::: {Type}
adamc@709 302 -> nm1 :: Name -> nm2 :: Name
adamc@709 303 -> [[nm1] ~ rest1] => [[nm2] ~ rest2]
adamc@712 304 => linkable t1 t2
adamc@712 305 -> matching rest1 rest2
adamc@712 306 -> matching ([nm1 = t1] ++ rest1) ([nm2 = t2] ++ rest2)
adamc@709 307
adamc@709 308 con propagation_mode :: {Type} -> Type
adamc@709 309 val restrict : fs ::: {Type} -> propagation_mode fs
adamc@709 310 val cascade : fs ::: {Type} -> propagation_mode fs
adamc@709 311 val no_action : fs ::: {Type} -> propagation_mode fs
adamc@709 312 val set_null : fs ::: {Type} -> propagation_mode (map option fs)
adamc@709 313
adamc@709 314
adamc@709 315 val foreign_key : mine1 ::: Name -> t ::: Type -> mine ::: {Type} -> munused ::: {Type}
adamc@709 316 -> foreign ::: {Type} -> funused ::: {Type}
adamc@709 317 -> nm ::: Name -> uniques ::: {{Unit}}
adamc@709 318 -> [[mine1] ~ mine] => [[mine1 = t] ++ mine ~ munused]
adamc@709 319 => [foreign ~ funused] => [[nm] ~ uniques]
adamc@709 320 => matching ([mine1 = t] ++ mine) foreign
adamc@709 321 -> sql_table (foreign ++ funused) ([nm = map (fn _ => ()) foreign] ++ uniques)
adamc@709 322 -> {OnDelete : propagation_mode ([mine1 = t] ++ mine),
adamc@709 323 OnUpdate : propagation_mode ([mine1 = t] ++ mine)}
adamc@709 324 -> sql_constraint ([mine1 = t] ++ mine ++ munused) []
adamc@709 325
adam@1778 326 con sql_exp :: {{Type}} -> {{Type}} -> {Type} -> Type -> Type
adam@1778 327 val sql_exp_weaken : fs ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> t ::: Type
adamc@1072 328 -> fs' ::: {{Type}} -> agg' ::: {{Type}} -> exps' ::: {Type}
adamc@1072 329 -> [fs ~ fs'] => [agg ~ agg'] => [exps ~ exps'] =>
adam@1778 330 sql_exp fs agg exps t
adam@1778 331 -> sql_exp (fs ++ fs') (agg ++ agg') (exps ++ exps') t
adamc@714 332
adamc@714 333 val check : fs ::: {Type}
adam@1778 334 -> sql_exp [] [] fs bool
adamc@714 335 -> sql_constraint fs []
adamc@714 336
adamc@714 337
adamc@204 338 (*** Queries *)
adamc@204 339
adam@1394 340 con sql_query :: {{Type}} -> {{Type}} -> {{Type}} -> {Type} -> Type
adam@1394 341 con sql_query1 :: {{Type}} -> {{Type}} -> {{Type}} -> {{Type}} -> {Type} -> Type
adamc@204 342
adamc@223 343 con sql_subset :: {{Type}} -> {{Type}} -> Type
adamc@223 344 val sql_subset : keep_drop :: {({Type} * {Type})}
adamc@354 345 -> sql_subset
adamc@621 346 (map (fn fields :: ({Type} * {Type}) => fields.1 ++ fields.2) keep_drop)
adamc@621 347 (map (fn fields :: ({Type} * {Type}) => fields.1) keep_drop)
adamc@354 348 val sql_subset_all : tables :: {{Type}} -> sql_subset tables tables
adamc@1072 349 val sql_subset_concat : big1 ::: {{Type}} -> little1 ::: {{Type}}
adamc@1072 350 -> big2 ::: {{Type}} -> little2 ::: {{Type}}
adamc@1072 351 -> [big1 ~ big2] => [little1 ~ little2] =>
adamc@1072 352 sql_subset big1 little1
adamc@1072 353 -> sql_subset big2 little2
adamc@1072 354 -> sql_subset (big1 ++ big2) (little1 ++ little2)
adamc@223 355
adamc@1191 356 con sql_from_items :: {{Type}} -> {{Type}} -> Type
adamc@748 357
adamc@1195 358 val sql_from_nil : free ::: {{Type}} -> sql_from_items free []
adamc@1191 359 val sql_from_table : free ::: {{Type}} -> t ::: Type -> fs ::: {Type}
adamc@753 360 -> fieldsOf t fs -> name :: Name
adamc@1191 361 -> t -> sql_from_items free [name = fs]
adamc@1192 362 val sql_from_query : free ::: {{Type}} -> fs ::: {Type} -> name :: Name
adam@1394 363 -> sql_query free [] [] fs
adamc@1192 364 -> sql_from_items free [name = fs]
adamc@1191 365 val sql_from_comma : free ::: {{Type}} -> tabs1 ::: {{Type}} -> tabs2 ::: {{Type}}
adamc@748 366 -> [tabs1 ~ tabs2]
adamc@1191 367 => sql_from_items free tabs1 -> sql_from_items free tabs2
adamc@1191 368 -> sql_from_items free (tabs1 ++ tabs2)
adamc@1191 369 val sql_inner_join : free ::: {{Type}} -> tabs1 ::: {{Type}} -> tabs2 ::: {{Type}}
adamc@1191 370 -> [free ~ tabs1] => [free ~ tabs2] => [tabs1 ~ tabs2]
adamc@1191 371 => sql_from_items free tabs1 -> sql_from_items free tabs2
adam@1778 372 -> sql_exp (free ++ tabs1 ++ tabs2) [] [] bool
adamc@1191 373 -> sql_from_items free (tabs1 ++ tabs2)
adamc@748 374
adamc@750 375 class nullify :: Type -> Type -> Type
adamc@750 376 val nullify_option : t ::: Type -> nullify (option t) (option t)
adamc@750 377 val nullify_prim : t ::: Type -> sql_injectable_prim t -> nullify t (option t)
adamc@750 378
adamc@1191 379 val sql_left_join : free ::: {{Type}} -> tabs1 ::: {{Type}} -> tabs2 ::: {{(Type * Type)}}
adamc@1191 380 -> [free ~ tabs1] => [free ~ tabs2] => [tabs1 ~ tabs2]
adamc@750 381 => $(map (fn r => $(map (fn p :: (Type * Type) => nullify p.1 p.2) r)) tabs2)
adamc@1191 382 -> sql_from_items free tabs1 -> sql_from_items free (map (map (fn p :: (Type * Type) => p.1)) tabs2)
adam@1778 383 -> sql_exp (free ++ tabs1 ++ map (map (fn p :: (Type * Type) => p.1)) tabs2) [] [] bool
adamc@1191 384 -> sql_from_items free (tabs1 ++ map (map (fn p :: (Type * Type) => p.2)) tabs2)
adamc@750 385
adamc@1191 386 val sql_right_join : free ::: {{Type}} -> tabs1 ::: {{(Type * Type)}} -> tabs2 ::: {{Type}}
adamc@1191 387 -> [free ~ tabs1] => [free ~ tabs2] => [tabs1 ~ tabs2]
adamc@751 388 => $(map (fn r => $(map (fn p :: (Type * Type) => nullify p.1 p.2) r)) tabs1)
adamc@1191 389 -> sql_from_items free (map (map (fn p :: (Type * Type) => p.1)) tabs1) -> sql_from_items free tabs2
adam@1778 390 -> sql_exp (free ++ map (map (fn p :: (Type * Type) => p.1)) tabs1 ++ tabs2) [] [] bool
adamc@1191 391 -> sql_from_items free (map (map (fn p :: (Type * Type) => p.2)) tabs1 ++ tabs2)
adamc@751 392
adamc@1191 393 val sql_full_join : free ::: {{Type}} -> tabs1 ::: {{(Type * Type)}} -> tabs2 ::: {{(Type * Type)}}
adamc@1191 394 -> [free ~ tabs1] => [free ~ tabs2] => [tabs1 ~ tabs2]
adamc@751 395 => $(map (fn r => $(map (fn p :: (Type * Type) => nullify p.1 p.2) r)) (tabs1 ++ tabs2))
adamc@1191 396 -> sql_from_items free (map (map (fn p :: (Type * Type) => p.1)) tabs1)
adamc@1191 397 -> sql_from_items free (map (map (fn p :: (Type * Type) => p.1)) tabs2)
adam@1778 398 -> sql_exp (free ++ map (map (fn p :: (Type * Type) => p.1)) (tabs1 ++ tabs2)) [] [] bool
adamc@1191 399 -> sql_from_items free (map (map (fn p :: (Type * Type) => p.2)) (tabs1 ++ tabs2))
adamc@751 400
adam@1778 401 (** [ORDER BY] and [SELECT] expressions may use window functions, so we introduce a type family for such expressions. *)
adam@1778 402 con sql_expw :: {{Type}} -> {{Type}} -> {Type} -> Type -> Type
adam@1778 403
adamc@1191 404 val sql_query1 : free ::: {{Type}}
adam@1394 405 -> afree ::: {{Type}}
adamc@1191 406 -> tables ::: {{Type}}
adamc@354 407 -> grouped ::: {{Type}}
adamc@354 408 -> selectedFields ::: {{Type}}
adamc@354 409 -> selectedExps ::: {Type}
adamc@1070 410 -> empties :: {Unit}
adamc@1191 411 -> [free ~ tables]
adamc@1191 412 => [free ~ grouped]
adam@1394 413 => [afree ~ tables]
adamc@1191 414 => [empties ~ selectedFields]
adamc@1070 415 => {Distinct : bool,
adamc@1191 416 From : sql_from_items free tables,
adam@1778 417 Where : sql_exp (free ++ tables) afree [] bool,
adamc@748 418 GroupBy : sql_subset tables grouped,
adam@1778 419 Having : sql_exp (free ++ grouped) (afree ++ tables) [] bool,
adamc@1070 420 SelectFields : sql_subset grouped (map (fn _ => []) empties ++ selectedFields),
adam@1778 421 SelectExps : $(map (sql_expw (free ++ grouped) (afree ++ tables) [])
adamc@705 422 selectedExps) }
adam@1394 423 -> sql_query1 free afree tables selectedFields selectedExps
adamc@229 424
adam@1682 425 type sql_relop
adamc@229 426 val sql_union : sql_relop
adamc@229 427 val sql_intersect : sql_relop
adamc@229 428 val sql_except : sql_relop
adamc@1191 429 val sql_relop : free ::: {{Type}}
adam@1394 430 -> afree ::: {{Type}}
adamc@1191 431 -> tables1 ::: {{Type}}
adamc@354 432 -> tables2 ::: {{Type}}
adamc@354 433 -> selectedFields ::: {{Type}}
adamc@354 434 -> selectedExps ::: {Type}
adamc@354 435 -> sql_relop
adam@1427 436 -> bool (* ALL *)
adam@1394 437 -> sql_query1 free afree tables1 selectedFields selectedExps
adam@1394 438 -> sql_query1 free afree tables2 selectedFields selectedExps
adam@1394 439 -> sql_query1 free afree [] selectedFields selectedExps
adam@1394 440 val sql_forget_tables : free ::: {{Type}} -> afree ::: {{Type}} -> tables ::: {{Type}} -> selectedFields ::: {{Type}} -> selectedExps ::: {Type}
adam@1394 441 -> sql_query1 free afree tables selectedFields selectedExps
adam@1394 442 -> sql_query1 free afree [] selectedFields selectedExps
adamc@229 443
adamc@230 444 type sql_direction
adamc@230 445 val sql_asc : sql_direction
adamc@230 446 val sql_desc : sql_direction
adamc@230 447
adam@1778 448 (** This type class supports automatic injection of either regular or window expressions into [sql_expw]. *)
adam@1778 449 class sql_window :: ({{Type}} -> {{Type}} -> {Type} -> Type -> Type) -> Type
adam@1778 450 val sql_window_normal : sql_window sql_exp
adam@1778 451 val sql_window_fancy : sql_window sql_expw
adam@1778 452 val sql_window : tf ::: ({{Type}} -> {{Type}} -> {Type} -> Type -> Type)
adam@1778 453 -> tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> t ::: Type
adam@1778 454 -> sql_window tf
adam@1778 455 -> tf tables agg exps t
adam@1778 456 -> sql_expw tables agg exps t
adam@1778 457
adamc@234 458 con sql_order_by :: {{Type}} -> {Type} -> Type
adamc@234 459 val sql_order_by_Nil : tables ::: {{Type}} -> exps :: {Type} -> sql_order_by tables exps
adam@1778 460 val sql_order_by_Cons : tf ::: ({{Type}} -> {{Type}} -> {Type} -> Type -> Type) -> tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
adam@1778 461 -> sql_window tf
adam@1778 462 -> tf tables [] exps t -> sql_direction
adamc@354 463 -> sql_order_by tables exps
adamc@354 464 -> sql_order_by tables exps
adam@1682 465 val sql_order_by_random : tables ::: {{Type}} -> exps ::: {Type}
adam@1682 466 -> sql_order_by tables exps
adamc@230 467
adamc@231 468 type sql_limit
adamc@231 469 val sql_no_limit : sql_limit
adamc@231 470 val sql_limit : int -> sql_limit
adam@1682 471
adamc@232 472 type sql_offset
adamc@232 473 val sql_no_offset : sql_offset
adamc@232 474 val sql_offset : int -> sql_offset
adamc@232 475
adamc@1191 476 val sql_query : free ::: {{Type}}
adam@1394 477 -> afree ::: {{Type}}
adamc@1191 478 -> tables ::: {{Type}}
adamc@354 479 -> selectedFields ::: {{Type}}
adamc@354 480 -> selectedExps ::: {Type}
adamc@1191 481 -> [free ~ tables]
adam@1394 482 => {Rows : sql_query1 free afree tables selectedFields selectedExps,
adamc@1191 483 OrderBy : sql_order_by (free ++ tables) selectedExps,
adamc@354 484 Limit : sql_limit,
adamc@354 485 Offset : sql_offset}
adam@1394 486 -> sql_query free afree selectedFields selectedExps
adamc@204 487
adamc@354 488 val sql_field : otherTabs ::: {{Type}} -> otherFields ::: {Type}
adam@1778 489 -> fieldType ::: Type -> agg ::: {{Type}}
adamc@354 490 -> exps ::: {Type}
adamc@354 491 -> tab :: Name -> field :: Name
adamc@354 492 -> sql_exp
adamc@354 493 ([tab = [field = fieldType] ++ otherFields] ++ otherTabs)
adam@1778 494 agg exps fieldType
adamc@234 495
adam@1778 496 val sql_exp : tabs ::: {{Type}} -> agg ::: {{Type}} -> t ::: Type -> rest ::: {Type}
adamc@354 497 -> nm :: Name
adam@1778 498 -> sql_exp tabs agg ([nm = t] ++ rest) t
adamc@209 499
adamc@221 500 class sql_injectable
adamc@676 501 val sql_prim : t ::: Type -> sql_injectable_prim t -> sql_injectable t
adamc@676 502 val sql_option_prim : t ::: Type -> sql_injectable_prim t -> sql_injectable (option t)
adamc@676 503
adamc@354 504 val sql_inject : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
adam@1778 505 -> t ::: Type
adam@1778 506 -> sql_injectable t -> t -> sql_exp tables agg exps t
adamc@209 507
adamc@470 508 val sql_is_null : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
adam@1778 509 -> t ::: Type
adam@1778 510 -> sql_exp tables agg exps (option t)
adam@1778 511 -> sql_exp tables agg exps bool
adamc@470 512
adam@1602 513 val sql_coalesce : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
adam@1778 514 -> t ::: Type
adam@1778 515 -> sql_exp tables agg exps (option t)
adam@1778 516 -> sql_exp tables agg exps t
adam@1778 517 -> sql_exp tables agg exps t
adam@1602 518
kkallio@1572 519 val sql_if_then_else : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
adam@1778 520 -> t ::: Type
adam@1778 521 -> sql_exp tables agg exps bool
adam@1778 522 -> sql_exp tables agg exps t
adam@1778 523 -> sql_exp tables agg exps t
adam@1778 524 -> sql_exp tables agg exps t
kkallio@1572 525
adamc@559 526 class sql_arith
adam@1427 527 val sql_arith_int : sql_arith int
adam@1427 528 val sql_arith_float : sql_arith float
adam@1427 529 val sql_arith_option : t ::: Type -> sql_arith t -> sql_arith (option t)
adamc@559 530
adamc@220 531 con sql_unary :: Type -> Type -> Type
adamc@220 532 val sql_not : sql_unary bool bool
adamc@354 533 val sql_unary : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
adam@1778 534 -> arg ::: Type -> res ::: Type
adam@1778 535 -> sql_unary arg res -> sql_exp tables agg exps arg
adam@1778 536 -> sql_exp tables agg exps res
adamc@220 537
adamc@559 538 val sql_neg : t ::: Type -> sql_arith t -> sql_unary t t
adamc@559 539
adamc@220 540 con sql_binary :: Type -> Type -> Type -> Type
adamc@220 541 val sql_and : sql_binary bool bool bool
adamc@220 542 val sql_or : sql_binary bool bool bool
adamc@234 543 val sql_binary : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
adam@1778 544 -> arg1 ::: Type -> arg2 ::: Type -> res ::: Type
adam@1778 545 -> sql_binary arg1 arg2 res -> sql_exp tables agg exps arg1
adam@1778 546 -> sql_exp tables agg exps arg2
adam@1778 547 -> sql_exp tables agg exps res
adamc@220 548
adamc@559 549 val sql_plus : t ::: Type -> sql_arith t -> sql_binary t t t
adamc@559 550 val sql_minus : t ::: Type -> sql_arith t -> sql_binary t t t
adamc@559 551 val sql_times : t ::: Type -> sql_arith t -> sql_binary t t t
adamc@559 552 val sql_div : t ::: Type -> sql_arith t -> sql_binary t t t
adamc@559 553 val sql_mod : sql_binary int int int
adamc@559 554
adamc@559 555 val sql_eq : t ::: Type -> sql_binary t t bool
adamc@559 556 val sql_ne : t ::: Type -> sql_binary t t bool
adamc@559 557 val sql_lt : t ::: Type -> sql_binary t t bool
adamc@559 558 val sql_le : t ::: Type -> sql_binary t t bool
adamc@559 559 val sql_gt : t ::: Type -> sql_binary t t bool
adamc@559 560 val sql_ge : t ::: Type -> sql_binary t t bool
adamc@203 561
kkallio@1607 562 val sql_like : sql_binary string string bool
kkallio@1607 563
adam@1778 564 val sql_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
adam@1778 565 -> sql_exp tables agg exps int
adamc@235 566
adamc@1187 567 con sql_aggregate :: Type -> Type -> Type
adamc@354 568 val sql_aggregate : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
adam@1778 569 -> dom ::: Type -> ran ::: Type
adam@1778 570 -> sql_aggregate dom ran -> sql_exp agg agg exps dom
adam@1778 571 -> sql_exp tables agg exps ran
adamc@1187 572
adamc@1187 573 val sql_count_col : t ::: Type -> sql_aggregate (option t) int
adamc@236 574
adamc@236 575 class sql_summable
adamc@236 576 val sql_summable_int : sql_summable int
adamc@236 577 val sql_summable_float : sql_summable float
adam@1357 578 val sql_summable_option : t ::: Type -> sql_summable t -> sql_summable (option t)
adam@1777 579 val sql_avg : t ::: Type -> sql_summable t -> sql_aggregate t (option float)
adam@1394 580 val sql_sum : t ::: Type -> nt ::: Type -> sql_summable t -> nullify t nt -> sql_aggregate t nt
adamc@236 581
adamc@236 582 class sql_maxable
adamc@236 583 val sql_maxable_int : sql_maxable int
adamc@236 584 val sql_maxable_float : sql_maxable float
adamc@236 585 val sql_maxable_string : sql_maxable string
adamc@437 586 val sql_maxable_time : sql_maxable time
adam@1357 587 val sql_maxable_option : t ::: Type -> sql_maxable t -> sql_maxable (option t)
adam@1394 588 val sql_max : t ::: Type -> nt ::: Type -> sql_maxable t -> nullify t nt -> sql_aggregate t nt
adam@1394 589 val sql_min : t ::: Type -> nt ::: Type -> sql_maxable t -> nullify t nt -> sql_aggregate t nt
adamc@236 590
adamc@441 591 con sql_nfunc :: Type -> Type
adamc@441 592 val sql_nfunc : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
adam@1778 593 -> t ::: Type
adam@1778 594 -> sql_nfunc t -> sql_exp tables agg exps t
adamc@441 595 val sql_current_timestamp : sql_nfunc time
adamc@441 596
adamc@746 597 con sql_ufunc :: Type -> Type -> Type
adamc@746 598 val sql_ufunc : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
adam@1778 599 -> dom ::: Type -> ran ::: Type
adam@1778 600 -> sql_ufunc dom ran -> sql_exp tables agg exps dom
adam@1778 601 -> sql_exp tables agg exps ran
adamc@746 602 val sql_octet_length : sql_ufunc blob int
adamc@1207 603 val sql_known : t ::: Type -> sql_ufunc t bool
adam@1636 604 val sql_lower : sql_ufunc string string
adam@1636 605 val sql_upper : sql_ufunc string string
adamc@235 606
adam@1778 607 val sql_nullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> t ::: Type
adamc@1081 608 -> sql_injectable_prim t
adam@1778 609 -> sql_exp tables agg exps t
adam@1778 610 -> sql_exp tables agg exps (option t)
adamc@1081 611
adam@1778 612 val sql_subquery : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> nm ::: Name -> t ::: Type -> nt ::: Type
adam@1421 613 -> nullify t nt
adam@1394 614 -> sql_query tables agg [] [nm = t]
adam@1778 615 -> sql_exp tables agg exps nt
adam@1778 616
adam@1778 617 (** Window function expressions *)
adam@1778 618
adam@1778 619 con sql_partition :: {{Type}} -> {{Type}} -> {Type} -> Type
adam@1778 620 val sql_no_partition : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
adam@1778 621 -> sql_partition tables agg exps
adam@1778 622 val sql_partition : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> t ::: Type
adam@1778 623 -> sql_exp tables agg exps t
adam@1778 624 -> sql_partition tables agg exps
adam@1778 625
adam@1778 626 con sql_window_function :: {{Type}} -> {{Type}} -> {Type} -> Type -> Type
adam@1778 627 val sql_window_function : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
adam@1778 628 -> t ::: Type
adam@1778 629 -> sql_window_function tables agg exps t
adam@1778 630 -> sql_partition tables agg exps
adam@1778 631 -> sql_order_by tables exps
adam@1778 632 -> sql_expw tables agg exps t
adam@1778 633
adam@1778 634 val sql_window_aggregate : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
adam@1778 635 -> t ::: Type -> nt ::: Type
adam@1778 636 -> sql_aggregate t nt
adam@1778 637 -> sql_exp tables agg exps t
adam@1778 638 -> sql_window_function tables agg exps nt
adam@1778 639 val sql_window_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
adam@1778 640 -> sql_window_function tables agg exps int
adam@1778 641 val sql_rank : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
adam@1778 642 -> sql_window_function tables agg exps int
adam@1778 643
adamc@1191 644
adamc@243 645 (*** Executing queries *)
adamc@243 646
adamc@354 647 val query : tables ::: {{Type}} -> exps ::: {Type}
adamc@629 648 -> [tables ~ exps] =>
adamc@354 649 state ::: Type
adam@1394 650 -> sql_query [] [] tables exps
adamc@621 651 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables)
adamc@354 652 -> state
adamc@354 653 -> transaction state)
adamc@354 654 -> state
adamc@354 655 -> transaction state
adamc@243 656
adam@1810 657 val show_sql_query : freeTables ::: {{Type}} -> freeAggs ::: {{Type}} -> tables ::: {{Type}} -> exps ::: {Type}
adam@1810 658 -> show (sql_query freeTables freeAggs tables exps)
adam@1810 659
adamc@243 660
adamc@299 661 (*** Database mutators *)
adamc@299 662
adamc@299 663 type dml
adamc@299 664 val dml : dml -> transaction unit
adam@1293 665 val tryDml : dml -> transaction (option string)
adam@1293 666 (* Returns an error message on failure. *)
adamc@299 667
adamc@705 668 val insert : fields ::: {Type} -> uniques ::: {{Unit}}
adamc@705 669 -> sql_table fields uniques
adam@1778 670 -> $(map (fn t :: Type => sql_exp [] [] [] t) fields)
adamc@354 671 -> dml
adamc@299 672
adamc@705 673 val update : unchanged ::: {Type} -> uniques ::: {{Unit}} -> changed :: {Type} ->
adamc@629 674 [changed ~ unchanged] =>
adam@1778 675 $(map (fn t :: Type => sql_exp [T = changed ++ unchanged] [] [] t) changed)
adamc@705 676 -> sql_table (changed ++ unchanged) uniques
adam@1778 677 -> sql_exp [T = changed ++ unchanged] [] [] bool
adamc@354 678 -> dml
adamc@299 679
adamc@705 680 val delete : fields ::: {Type} -> uniques ::: {{Unit}}
adamc@705 681 -> sql_table fields uniques
adam@1778 682 -> sql_exp [T = fields] [] [] bool
adamc@354 683 -> dml
adamc@299 684
adamc@338 685 (*** Sequences *)
adamc@338 686
adamc@338 687 type sql_sequence
adamc@338 688 val nextval : sql_sequence -> transaction int
adamc@1073 689 val setval : sql_sequence -> int -> transaction unit
adamc@338 690
adamc@299 691
adamc@203 692 (** XML *)
adamc@203 693
adamc@721 694 type css_class
adam@1477 695 val show_css_class : show css_class
adam@1567 696 val null : css_class
adam@1567 697 (* No special formatting *)
adam@1292 698 val classes : css_class -> css_class -> css_class
adam@1292 699 (* The equivalent of writing one class after the other, separated by a space, in
adam@1292 700 * an HTML 'class' attribute *)
adamc@718 701
adam@1750 702 type css_value
adam@1750 703 val atom : string -> css_value
adam@1750 704 type url
adam@1750 705 val css_url : url -> css_value
adam@2029 706 val sql_url : sql_injectable_prim url
adam@1750 707 type css_property
adam@1750 708 val property : string -> css_property
adam@1750 709 val value : css_property -> css_value -> css_property
adam@1750 710 type css_style
adam@1750 711 val noStyle : css_style
adam@1750 712 val oneProperty : css_style -> css_property -> css_style
adam@1750 713
adamc@720 714 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type
adamc@91 715
adamc@720 716 con xml :: {Unit} -> {Type} -> {Type} -> Type
adamc@720 717 val cdata : ctx ::: {Unit} -> use ::: {Type} -> string -> xml ctx use []
adam@1358 718 val cdataChar : ctx ::: {Unit} -> use ::: {Type} -> char -> xml ctx use []
adamc@354 719 val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type}
adamc@354 720 -> ctxOuter ::: {Unit} -> ctxInner ::: {Unit}
adamc@354 721 -> useOuter ::: {Type} -> useInner ::: {Type}
adamc@354 722 -> bindOuter ::: {Type} -> bindInner ::: {Type}
adamc@629 723 -> [attrsGiven ~ attrsAbsent] =>
adamc@629 724 [useOuter ~ useInner] =>
adamc@629 725 [bindOuter ~ bindInner] =>
adam@1749 726 css_class
adam@1643 727 -> option (signal css_class)
adam@1750 728 -> css_style
adam@1751 729 -> option (signal css_style)
adamc@721 730 -> $attrsGiven
adamc@629 731 -> tag (attrsGiven ++ attrsAbsent)
adamc@720 732 ctxOuter ctxInner useOuter bindOuter
adamc@720 733 -> xml ctxInner useInner bindInner
adamc@720 734 -> xml ctxOuter (useOuter ++ useInner) (bindOuter ++ bindInner)
adam@1682 735 val join : ctx ::: {Unit}
adamc@720 736 -> use1 ::: {Type} -> bind1 ::: {Type} -> bind2 ::: {Type}
adamc@720 737 -> [use1 ~ bind1] => [bind1 ~ bind2] =>
adamc@720 738 xml ctx use1 bind1
adamc@720 739 -> xml ctx (use1 ++ bind1) bind2
adamc@720 740 -> xml ctx use1 (bind1 ++ bind2)
adamc@354 741 val useMore : ctx ::: {Unit} -> use1 ::: {Type} -> use2 ::: {Type}
adamc@720 742 -> bind ::: {Type}
adamc@629 743 -> [use1 ~ use2] =>
adamc@720 744 xml ctx use1 bind
adamc@720 745 -> xml ctx (use1 ++ use2) bind
adamc@91 746
adam@1641 747 con html = [Html]
adam@1641 748 con head = [Head]
adam@1642 749
adam@1642 750 con body' = [MakeForm, Body]
adam@1642 751 con form' = [Body, Form]
adam@1642 752 con subform' = [Body, Subform]
adam@1642 753 con tabl' = [MakeForm, Table]
adam@1642 754 con tr' = [MakeForm, Tr]
adam@1642 755
adam@1642 756 con body = [Dyn] ++ body'
adam@1642 757 con form = [Dyn] ++ form'
adam@1642 758 con subform = [Dyn] ++ subform'
adam@1642 759 con tabl = [Dyn] ++ tabl'
adam@1642 760 con tr = [Dyn] ++ tr'
adam@1641 761
adam@1641 762 con xhtml = xml html
adamc@139 763 con page = xhtml [] []
adam@1641 764 con xbody = xml body [] []
grrwlf@1874 765 con xhead = xml head [] []
adam@1641 766 con xtable = xml tabl [] []
adam@1641 767 con xtr = xml tr [] []
adam@1641 768 con xform = xml form [] []
adamc@110 769
adamc@718 770
adamc@204 771 (*** HTML details *)
adamc@204 772
adam@1370 773 type queryString
adam@1370 774 val show_queryString : show queryString
adam@1370 775
adamc@1065 776 val show_url : show url
adamc@724 777 val bless : string -> url
adamc@770 778 val checkUrl : string -> option url
adamc@1085 779 val currentUrl : transaction url
adam@1386 780 val currentUrlHasPost : transaction bool
adam@1485 781 val currentUrlHasQueryString : transaction bool
adamc@1065 782 val url : transaction page -> url
adam@1370 783 val effectfulUrl : (option queryString -> transaction page) -> url
adamc@1065 784 val redirect : t ::: Type -> url -> transaction t
adamc@724 785
adam@1556 786 type id
adam@1556 787 val fresh : transaction id
adam@1785 788 val giveFocus : id -> transaction unit
grrwlf@1929 789 val show_id : show id
adam@1556 790
adam@1641 791 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] => unit
adam@1641 792 -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind
adamc@568 793
adam@1786 794 val active : unit
adam@1786 795 -> tag [Code = transaction xbody] body [] [] []
adam@1786 796
adam@1926 797 val script : unit
grrwlf@1925 798 -> tag [Code = transaction unit] head [] [] []
grrwlf@1924 799
adam@2047 800 (* Type for HTML5 "data-*" and "aria-*" attributes. *)
adam@2047 801 type data_attr_kind
adam@2047 802 val data_kind : data_attr_kind
adam@2047 803 val aria_kind : data_attr_kind
adam@2047 804
adam@2008 805 type data_attr
adam@2047 806 val data_attr : data_attr_kind -> string (* Key *) -> string (* Value *) -> data_attr
adam@2008 807 (* This function will fail if the key doesn't meet HTML's lexical rules! *)
adam@2008 808 val data_attrs : data_attr -> data_attr -> data_attr
adamc@110 809
adam@2008 810 val head : unit -> tag [Data = data_attr] html head [] []
adam@2008 811 val title : unit -> tag [Data = data_attr] head [] [] []
adam@2008 812 val link : unit -> tag [Data = data_attr, Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] []
adam@2008 813
adam@2008 814 val body : unit -> tag [Data = data_attr, Onload = transaction unit, Onresize = transaction unit, Onunload = transaction unit, Onhashchange = transaction unit]
adamc@892 815 html body [] []
adamc@354 816 con bodyTag = fn (attrs :: {Type}) =>
adamc@354 817 ctx ::: {Unit} ->
adamc@629 818 [[Body] ~ ctx] =>
adamc@720 819 unit -> tag attrs ([Body] ++ ctx) ([Body] ++ ctx) [] []
adamc@354 820 con bodyTagStandalone = fn (attrs :: {Type}) =>
adamc@354 821 ctx ::: {Unit}
adamc@629 822 -> [[Body] ~ ctx] =>
adamc@720 823 unit -> tag attrs ([Body] ++ ctx) [] [] []
adamc@141 824
adam@2008 825 val br : bodyTagStandalone [Data = data_attr, Id = id]
adamc@119 826
adamc@892 827 con focusEvents = [Onblur = transaction unit, Onfocus = transaction unit]
adam@1783 828
adam@1783 829 datatype mouseButton = Left | Right | Middle
adam@1783 830
adam@1783 831 type mouseEvent = { ScreenX : int, ScreenY : int, ClientX : int, ClientY : int,
adam@1783 832 CtrlKey : bool, ShiftKey : bool, AltKey : bool, MetaKey : bool,
adam@1783 833 Button : mouseButton }
adam@1783 834
adam@1783 835 con mouseEvents = map (fn _ :: Unit => mouseEvent -> transaction unit)
ziv@2130 836 [Onclick, Oncontextmenu, Ondblclick, Onmousedown, Onmouseenter, Onmouseleave, Onmousemove, Onmouseout, Onmouseover, Onmouseup]
adam@1783 837
adam@1783 838 type keyEvent = { KeyCode : int,
adam@1783 839 CtrlKey : bool, ShiftKey : bool, AltKey : bool, MetaKey : bool }
adam@1783 840
adam@1783 841 con keyEvents = map (fn _ :: Unit => keyEvent -> transaction unit)
adam@1783 842 [Onkeydown, Onkeypress, Onkeyup]
adam@1783 843
adamc@895 844 (* Key arguments are character codes. *)
adamc@892 845 con resizeEvents = [Onresize = transaction unit]
vshabanoff@1709 846 con scrollEvents = [Onscroll = transaction unit]
adamc@691 847
vshabanoff@1709 848 con boxEvents = focusEvents ++ mouseEvents ++ keyEvents ++ resizeEvents ++ scrollEvents
adamc@892 849 con tableEvents = focusEvents ++ mouseEvents ++ keyEvents
adamc@140 850
grrwlf@2062 851 con boxAttrs = [Data = data_attr, Id = id, Title = string, Role = string] ++ boxEvents
adam@2008 852 con tableAttrs = [Data = data_attr, Id = id, Title = string] ++ tableEvents
adamc@469 853
adamc@1047 854 val span : bodyTag boxAttrs
adamc@1047 855 val div : bodyTag boxAttrs
adamc@140 856
adamc@1047 857 val p : bodyTag boxAttrs
grrwlf@1873 858 val strong : bodyTag boxAttrs
grrwlf@1873 859 val em : bodyTag boxAttrs
adamc@1047 860 val b : bodyTag boxAttrs
adamc@1047 861 val i : bodyTag boxAttrs
adamc@1047 862 val tt : bodyTag boxAttrs
kkallio@1452 863 val sub : bodyTag boxAttrs
kkallio@1452 864 val sup : bodyTag boxAttrs
adamc@410 865
adamc@1047 866 val h1 : bodyTag boxAttrs
adamc@1047 867 val h2 : bodyTag boxAttrs
adamc@1047 868 val h3 : bodyTag boxAttrs
adamc@1047 869 val h4 : bodyTag boxAttrs
adamc@1047 870 val h5 : bodyTag boxAttrs
adamc@1047 871 val h6 : bodyTag boxAttrs
adamc@717 872
adamc@1047 873 val li : bodyTag boxAttrs
adamc@1047 874 val ol : bodyTag boxAttrs
adamc@1047 875 val ul : bodyTag boxAttrs
adamc@140 876
adamc@1047 877 val hr : bodyTag boxAttrs
adamc@1047 878
grrwlf@1999 879 val pre : bodyTag boxAttrs
grrwlf@1999 880
david@2014 881 (** sections **)
david@2014 882 val section : bodyTag boxAttrs
david@2014 883 val article : bodyTag boxAttrs
david@2014 884 val nav : bodyTag boxAttrs
david@2014 885 val aside : bodyTag boxAttrs
david@2014 886 val footer : bodyTag boxAttrs
david@2014 887 val header : bodyTag boxAttrs
david@2014 888 val main : bodyTag boxAttrs
david@2014 889
david@2014 890 (** forms **)
david@2014 891 val meter : bodyTag boxAttrs
david@2014 892 val progress : bodyTag boxAttrs
david@2014 893 val output : bodyTag boxAttrs
david@2014 894 val keygen : bodyTag boxAttrs
david@2014 895 val datalist : bodyTag boxAttrs
david@2014 896
david@2014 897 (** Interactive Elements **)
david@2014 898 val details : bodyTag boxAttrs
david@2014 899 val dialog : bodyTag boxAttrs
david@2014 900 val menuitem : bodyTag boxAttrs
david@2014 901
david@2014 902 (** Grouping Content **)
david@2014 903 val figure : bodyTag boxAttrs
david@2014 904 val figcaption : bodyTag boxAttrs
david@2014 905
david@2014 906 (** Text Level Semantics **)
david@2014 907 val data : bodyTag boxAttrs
david@2014 908 val mark : bodyTag boxAttrs
david@2014 909 val rp : bodyTag boxAttrs
david@2014 910 val rt : bodyTag boxAttrs
david@2014 911 val ruby : bodyTag boxAttrs
david@2014 912 val summary : bodyTag boxAttrs
david@2014 913 val time : bodyTag boxAttrs
david@2014 914 val wbr : bodyTag boxAttrs
david@2014 915 val bdi : bodyTag boxAttrs
david@2014 916
grrwlf@2119 917 val a : bodyTag ([Link = transaction page, Href = url, Target = string, Rel = string, Download = string] ++ boxAttrs)
adamc@892 918
adam@1419 919 val img : bodyTag ([Alt = string, Src = url, Width = int, Height = int,
adamc@1129 920 Onabort = transaction unit, Onerror = transaction unit,
adamc@1047 921 Onload = transaction unit] ++ boxAttrs)
adam@1682 922
adamc@720 923 val form : ctx ::: {Unit} -> bind ::: {Type}
adam@1642 924 -> [[MakeForm, Form] ~ ctx] =>
adam@1412 925 option css_class
adam@1642 926 -> xml ([Form] ++ ctx) [] bind
adam@1642 927 -> xml ([MakeForm] ++ ctx) [] []
adam@1682 928
adamc@756 929 val subform : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type}
adamc@756 930 -> [[Form] ~ ctx] =>
adamc@756 931 nm :: Name -> [[nm] ~ use] =>
adamc@1004 932 xml ([Form] ++ ctx) [] bind
adamc@756 933 -> xml ([Form] ++ ctx) use [nm = $bind]
adamc@758 934
adamc@758 935 val subforms : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type}
adamc@1004 936 -> [[Form, Subform] ~ ctx] =>
adamc@758 937 nm :: Name -> [[nm] ~ use] =>
adamc@1004 938 xml ([Subform] ++ ctx) [Entry = $bind] []
adamc@758 939 -> xml ([Form] ++ ctx) use [nm = list ($bind)]
adamc@758 940
adamc@758 941 val entry : ctx ::: {Unit} -> bind ::: {Type}
adamc@1004 942 -> [[Subform, Form] ~ ctx] =>
adamc@1004 943 xml ([Form] ++ ctx) [] bind
adamc@758 944 -> xml ([Subform] ++ ctx) [Entry = $bind] []
adamc@758 945
adamc@361 946 con formTag = fn (ty :: Type) (inner :: {Unit}) (attrs :: {Type}) =>
adamc@354 947 ctx ::: {Unit}
adamc@629 948 -> [[Form] ~ ctx] =>
adamc@354 949 nm :: Name -> unit
adamc@720 950 -> tag attrs ([Form] ++ ctx) inner [] [nm = ty]
grrwlf@2074 951
adam@2075 952 con inputAttrs = [Required = bool, Autofocus = bool]
grrwlf@2074 953
grrwlf@2074 954
adam@2008 955 val hidden : formTag string [] [Data = data_attr, Id = string, Value = string]
vshabanoff@1709 956 val textbox : formTag string [] ([Value = string, Size = int, Placeholder = string, Source = source string, Onchange = transaction unit,
grrwlf@2074 957 Ontext = transaction unit] ++ boxAttrs ++ inputAttrs)
grrwlf@2074 958 val password : formTag string [] ([Value = string, Size = int, Placeholder = string, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
adamc@892 959 val textarea : formTag string [] ([Rows = int, Cols = int, Onchange = transaction unit,
grrwlf@2074 960 Ontext = transaction unit] ++ boxAttrs ++ inputAttrs)
adamc@153 961
adam@2076 962 val checkbox : formTag bool [] ([Checked = bool, Onchange = transaction unit] ++ boxAttrs)
adamc@190 963
adam@2077 964 (* HTML5 widgets galore! *)
adam@2077 965
adam@2077 966 type textWidget = formTag string [] ([Value = string, Size = int, Placeholder = string, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
adam@2077 967
adam@2077 968 val email : textWidget
adam@2077 969 val search : textWidget
adam@2077 970 val url_ : textWidget
adam@2077 971 val tel : textWidget
adam@2078 972 val color : textWidget
adam@2078 973
adam@2078 974 val number : formTag float [] ([Value = float, Min = float, Max = float, Step = float, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
adam@2078 975 val range : formTag float [] ([Value = float, Min = float, Max = float, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
adam@2078 976 val date : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
adam@2078 977 val datetime : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
adam@2078 978 val datetime_local : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
adam@2078 979 val month : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
adam@2078 980 val week : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
adam@2078 981 val timeInput : formTag string [] ([Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
adam@2078 982
adam@2077 983
adam@2077 984
adamc@737 985 type file
adamc@737 986 val fileName : file -> option string
adamc@740 987 val fileMimeType : file -> string
adamc@737 988 val fileData : file -> blob
adamc@737 989
adamc@1047 990 val upload : formTag file [] ([Value = string, Size = int] ++ boxAttrs)
adamc@737 991
adamc@741 992 type mimeType
adamc@741 993 val blessMime : string -> mimeType
adamc@770 994 val checkMime : string -> option mimeType
adamc@741 995 val returnBlob : t ::: Type -> blob -> mimeType -> transaction t
adamc@745 996 val blobSize : blob -> int
adamc@1119 997 val textBlob : string -> blob
adamc@741 998
adam@1347 999 type postBody
adam@1347 1000 val postType : postBody -> string
adam@1347 1001 val postData : postBody -> string
adam@1347 1002
adam@1787 1003 type postField
adam@1787 1004 val firstFormField : string -> option postField
adam@1787 1005 val fieldName : postField -> string
adam@1787 1006 val fieldValue : postField -> string
adam@1787 1007 val remainingFields : postField -> string
adam@1787 1008
adamc@153 1009 con radio = [Body, Radio]
adam@2008 1010 val radio : formTag (option string) radio [Data = data_attr, Id = id]
adamc@1068 1011 val radioOption : unit -> tag ([Value = string, Checked = bool] ++ boxAttrs) radio [] [] []
adamc@142 1012
adamc@154 1013 con select = [Select]
adamc@1047 1014 val select : formTag string select ([Onchange = transaction unit] ++ boxAttrs)
adam@2008 1015 val option : unit -> tag [Data = data_attr, Value = string, Selected = bool] select [] [] []
adamc@154 1016
adamc@720 1017 val submit : ctx ::: {Unit} -> use ::: {Type}
adamc@629 1018 -> [[Form] ~ ctx] =>
adamc@354 1019 unit
adamc@1047 1020 -> tag ([Value = string, Action = $use -> transaction page] ++ boxAttrs)
adamc@720 1021 ([Form] ++ ctx) ([Form] ++ ctx) use []
adamc@283 1022
adam@1517 1023 val image : ctx ::: {Unit} -> use ::: {Type}
adam@1517 1024 -> [[Form] ~ ctx] =>
adam@1517 1025 unit
adam@1517 1026 -> tag ([Src = url, Width = int, Height = int, Alt = string, Action = $use -> transaction page] ++ boxAttrs)
adam@1517 1027 ([Form] ++ ctx) ([Form] ++ ctx) use []
adam@1517 1028
adam@1557 1029 val label : bodyTag ([For = id, Accesskey = string] ++ tableAttrs)
adamc@1047 1030
adamc@1047 1031
adamc@601 1032 (*** AJAX-oriented widgets *)
adamc@601 1033
adamc@797 1034 con cformTag = fn (attrs :: {Type}) (inner :: {Unit}) =>
adamc@601 1035 ctx ::: {Unit}
grrwlf@2057 1036 -> [[Body] ~ ctx] => [[Body] ~ inner] =>
grrwlf@2057 1037 unit -> tag attrs ([Body] ++ ctx) ([Body] ++ inner) [] []
adamc@601 1038
adam@2079 1039 type ctext = cformTag ([Value = string, Size = int, Source = source string, Placeholder = string,
adam@2079 1040 Onchange = transaction unit, Ontext = transaction unit] ++ boxAttrs ++ inputAttrs) []
adam@2079 1041
adam@2079 1042 val ctextbox : ctext
adam@2079 1043 val cpassword : ctext
adam@2079 1044 val cemail : ctext
adam@2079 1045 val csearch : ctext
adam@2079 1046 val curl : ctext
adam@2079 1047 val ctel : ctext
adam@2079 1048 val ccolor : ctext
adam@2079 1049
adam@2080 1050 val cnumber : cformTag ([Source = source float, Value = float, Min = float, Max = float, Step = float, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
adam@2080 1051 val crange : cformTag ([Source = source float, Value = float, Min = float, Max = float, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
adam@2080 1052 val cdate : cformTag ([Source = source string, Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
adam@2080 1053 val cdatetime : cformTag ([Source = source string, Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
adam@2080 1054 val cdatetime_local : cformTag ([Source = source string, Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
adam@2080 1055 val cmonth : cformTag ([Source = source string, Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
adam@2080 1056 val cweek : cformTag ([Source = source string, Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
adam@2080 1057 val ctime : cformTag ([Source = source string, Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
adam@2080 1058
adamc@1047 1059 val button : cformTag ([Value = string] ++ boxAttrs) []
adamc@797 1060
grrwlf@2074 1061 val ccheckbox : cformTag ([Value = bool, Size = int, Source = source bool, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
adamc@817 1062
adam@2060 1063 val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) [Cselect]
adam@2060 1064 val coption : unit -> tag [Value = string, Selected = bool] [Cselect, Body] [] [] []
adamc@601 1065
adamc@1099 1066 val ctextarea : cformTag ([Value = string, Rows = int, Cols = int, Source = source string, Onchange = transaction unit,
grrwlf@2074 1067 Ontext = transaction unit] ++ boxAttrs ++ inputAttrs) []
adamc@1099 1068
adamc@720 1069 (*** Tables *)
adamc@720 1070
adamc@892 1071 val tabl : other ::: {Unit} -> [other ~ [Body, Table]] => unit
adamc@1047 1072 -> tag ([Border = int] ++ boxAttrs)
adam@1641 1073 ([Body] ++ other) ([Table] ++ other) [] []
adam@1641 1074 val tr : other ::: {Unit} -> [other ~ [Table, Tr]] => unit
adamc@1047 1075 -> tag tableAttrs
adam@1641 1076 ([Table] ++ other) ([Tr] ++ other) [] []
adamc@892 1077 val th : other ::: {Unit} -> [other ~ [Body, Tr]] => unit
kkallio@1476 1078 -> tag ([Colspan = int, Rowspan = int] ++ tableAttrs)
adam@1641 1079 ([Tr] ++ other) ([Body] ++ other) [] []
adamc@892 1080 val td : other ::: {Unit} -> [other ~ [Body, Tr]] => unit
kkallio@1476 1081 -> tag ([Colspan = int, Rowspan = int] ++ tableAttrs)
adam@1641 1082 ([Tr] ++ other) ([Body] ++ other) [] []
adamc@720 1083
adam@2007 1084 val thead : other ::: {Unit} -> [other ~ [Table]] => unit
adam@2007 1085 -> tag tableAttrs
adam@2007 1086 ([Table] ++ other) ([Table] ++ other) [] []
adam@2007 1087 val tbody : other ::: {Unit} -> [other ~ [Table]] => unit
adam@2007 1088 -> tag tableAttrs
adam@2007 1089 ([Table] ++ other) ([Table] ++ other) [] []
adam@2007 1090 val tfoot : other ::: {Unit} -> [other ~ [Table]] => unit
adam@2007 1091 -> tag tableAttrs
adam@2007 1092 ([Table] ++ other) ([Table] ++ other) [] []
adam@2007 1093
grrwlf@1876 1094 (** Definition lists *)
grrwlf@1876 1095
grrwlf@1876 1096 val dl : other ::: {Unit} -> [other ~ [Body,Dl]]
grrwlf@1876 1097 => unit
adam@2008 1098 -> tag [Data = data_attr] ([Body] ++ other) ([Dl] ++ other) [] []
grrwlf@1876 1099
grrwlf@1876 1100 val dt : other ::: {Unit} -> [other ~ [Body,Dl]]
grrwlf@1876 1101 => unit
adam@2008 1102 -> tag [Data = data_attr] ([Dl] ++ other) ([Body] ++ other) [] []
grrwlf@1876 1103
grrwlf@1876 1104 val dd : other ::: {Unit} -> [other ~ [Body,Dl]]
grrwlf@1876 1105 => unit
adam@2008 1106 -> tag [Data = data_attr] ([Dl] ++ other) ([Body] ++ other) [] []
adam@2008 1107
adamc@283 1108
adamc@283 1109 (** Aborting *)
adamc@283 1110
adamc@726 1111 val error : t ::: Type -> xbody -> t
adamc@720 1112
adamc@729 1113 (* Client-side-only handlers: *)
adamc@726 1114 val onError : (xbody -> transaction unit) -> transaction unit
adamc@728 1115 val onFail : (string -> transaction unit) -> transaction unit
adamc@729 1116 val onConnectFail : transaction unit -> transaction unit
adamc@729 1117 val onDisconnect : transaction unit -> transaction unit
adamc@729 1118 val onServerError : (string -> transaction unit) -> transaction unit
adamc@727 1119
adam@1555 1120 (* More standard document-level JavaScript handlers *)
adam@1783 1121 val onClick : (mouseEvent -> transaction unit) -> transaction unit
adam@1783 1122 val onDblclick : (mouseEvent -> transaction unit) -> transaction unit
ziv@2130 1123 val onContextmenu : (mouseEvent -> transaction unit) -> transaction unit
adam@1783 1124 val onKeydown : (keyEvent -> transaction unit) -> transaction unit
adam@1783 1125 val onKeypress : (keyEvent -> transaction unit) -> transaction unit
adam@1783 1126 val onKeyup : (keyEvent -> transaction unit) -> transaction unit
adam@1783 1127 val onMousedown : (mouseEvent -> transaction unit) -> transaction unit
ziv@2130 1128 val onMouseenter : (mouseEvent -> transaction unit) -> transaction unit
ziv@2130 1129 val onMouseleave : (mouseEvent -> transaction unit) -> transaction unit
adam@1791 1130 val onMousemove : (mouseEvent -> transaction unit) -> transaction unit
adam@1791 1131 val onMouseout : (mouseEvent -> transaction unit) -> transaction unit
adam@1791 1132 val onMouseover : (mouseEvent -> transaction unit) -> transaction unit
adam@1783 1133 val onMouseup : (mouseEvent -> transaction unit) -> transaction unit
adam@1555 1134
adam@1559 1135 (* Prevents default handling of current event *)
adam@1559 1136 val preventDefault : transaction unit
adam@1559 1137 (* Stops propagation of current event *)
adam@1559 1138 val stopPropagation : transaction unit
adam@1559 1139
adamc@727 1140 val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml ctx use bind)
adamc@1075 1141
adamc@1075 1142
adamc@1075 1143 (** Tasks *)
adamc@1075 1144
adam@1348 1145 con task_kind :: Type -> Type
adam@1348 1146 val initialize : task_kind unit
adam@1348 1147 val clientLeaves : task_kind client
adam@1349 1148 val periodic : int -> task_kind unit
adamc@1120 1149
adamc@1120 1150
adamc@1199 1151 (** Information flow security *)
adamc@1199 1152
adamc@1199 1153 type sql_policy
adamc@1199 1154
adamc@1214 1155 val sendClient : tables ::: {{Type}} -> exps ::: {Type}
adam@1394 1156 -> [tables ~ exps] => sql_query [] [] tables exps
adamc@1214 1157 -> sql_policy
adamc@1199 1158
adamc@1229 1159 val sendOwnIds : sql_sequence -> sql_policy
adamc@1229 1160
adamc@1220 1161 val mayInsert : fs ::: {Type} -> tables ::: {{Type}} -> [[New] ~ tables]
adam@1394 1162 => sql_query [] [] ([New = fs] ++ tables) []
adamc@1220 1163 -> sql_policy
adamc@1220 1164
adamc@1221 1165 val mayDelete : fs ::: {Type} -> tables ::: {{Type}} -> [[Old] ~ tables]
adam@1394 1166 => sql_query [] [] ([Old = fs] ++ tables) []
adamc@1221 1167 -> sql_policy
adamc@1221 1168
adamc@1223 1169 val mayUpdate : fs ::: {Type} -> tables ::: {{Type}} -> [[Old, New] ~ tables]
adam@1394 1170 => sql_query [] [] ([Old = fs, New = fs] ++ tables) []
adamc@1223 1171 -> sql_policy
adamc@1223 1172
adamc@1240 1173 val also : sql_policy -> sql_policy -> sql_policy
adamc@1199 1174
adamc@1120 1175 val debug : string -> transaction unit
adam@1389 1176 val naughtyDebug : string -> int
adamc@1250 1177
adamc@1250 1178 val rand : transaction int