Mercurial > urweb

comparison lib/basis.lig @ 216:38b299373676

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Looking up in a type class from a module
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 15:58:25 -0400
parents 1487c712eb12
children 5292c0113024
comparison
equal deleted inserted replaced
215:2f574c07df2e 216:38b299373676
24 [nm] ~ acc => selected_unselected.1 ~ selected_unselected.2 => 24 [nm] ~ acc => selected_unselected.1 ~ selected_unselected.2 =>
25 [nm = selected_unselected.1 ++ selected_unselected.2] ++ acc) [] tables) bool} 25 [nm = selected_unselected.1 ++ selected_unselected.2] ++ acc) [] tables) bool}
26 -> sql_query (fold (fn nm => fn selected_unselected :: ({Type} * {Type}) => fn acc => [nm] ~ acc => 26 -> sql_query (fold (fn nm => fn selected_unselected :: ({Type} * {Type}) => fn acc => [nm] ~ acc =>
27 [nm = selected_unselected.1] ++ acc) [] tables) 27 [nm = selected_unselected.1] ++ acc) [] tables)
28 28
29 con sql_type :: Type -> Type 29 class sql_type
30 val sql_bool : sql_type bool 30 val sql_bool : sql_type bool
31 val sql_int : sql_type int 31 val sql_int : sql_type int
32 val sql_float : sql_type float 32 val sql_float : sql_type float
33 val sql_string : sql_type string 33 val sql_string : sql_type string
34 34