Mercurial > urweb

comparison lib/ur/top.urs @ 1321:4172863d049d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
queryL1 and List.sort
author Adam Chlipala <adam@chlipala.net>
date Sat, 20 Nov 2010 10:45:22 -0500
parents 61c3139eab12
children 02fc16faecf3
comparison
equal deleted inserted replaced
1320:add5ae41969e 1321:4172863d049d
127 val queryL : tables ::: {{Type}} -> exps ::: {Type} 127 val queryL : tables ::: {{Type}} -> exps ::: {Type}
128 -> [tables ~ exps] => 128 -> [tables ~ exps] =>
129 sql_query [] tables exps 129 sql_query [] tables exps
130 -> transaction (list $(exps ++ map (fn fields :: {Type} => $fields) tables)) 130 -> transaction (list $(exps ++ map (fn fields :: {Type} => $fields) tables))
131 131
132 val queryL1 : t ::: Name -> fs ::: {Type}
133 -> sql_query [] [t = fs] []
134 -> transaction (list $fs)
135
132 val query1 : t ::: Name -> fs ::: {Type} -> state ::: Type 136 val query1 : t ::: Name -> fs ::: {Type} -> state ::: Type
133 -> sql_query [] [t = fs] [] 137 -> sql_query [] [t = fs] []
134 -> ($fs -> state -> transaction state) 138 -> ($fs -> state -> transaction state)
135 -> state 139 -> state
136 -> transaction state 140 -> transaction state