Mercurial > urweb

comparison lib/basis.urs @ 268:bacd0ba869e1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoize ASC/DESC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 16:54:13 -0400
parents 645d0e8da643
children fdd7a698be01
comparison
equal deleted inserted replaced
267:f31e8da68e90 268:bacd0ba869e1
71 val sql_desc : sql_direction 71 val sql_desc : sql_direction
72 72
73 con sql_order_by :: {{Type}} -> {Type} -> Type 73 con sql_order_by :: {{Type}} -> {Type} -> Type
74 val sql_order_by_Nil : tables ::: {{Type}} -> exps :: {Type} -> sql_order_by tables exps 74 val sql_order_by_Nil : tables ::: {{Type}} -> exps :: {Type} -> sql_order_by tables exps
75 val sql_order_by_Cons : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type 75 val sql_order_by_Cons : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
76 -> sql_exp tables [] exps t -> sql_order_by tables exps 76 -> sql_exp tables [] exps t -> sql_direction -> sql_order_by tables exps
77 -> sql_order_by tables exps 77 -> sql_order_by tables exps
78 78
79 type sql_limit 79 type sql_limit
80 val sql_no_limit : sql_limit 80 val sql_no_limit : sql_limit
81 val sql_limit : int -> sql_limit 81 val sql_limit : int -> sql_limit