diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-08-14 13:59:11 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-14 13:59:11 -0400 |
commit | 14fbe79a3735e547f03cd8e95ca925fbdbb1841a (patch) | |
tree | f5b06cb6a023562572622c9b10d66f5265ee1518 /lib | |
parent | 25658a4755c86ffbda946fb8b97f882f3ce7a724 (diff) |
Parsing the simplest SQL query
Diffstat (limited to 'lib')
-rw-r--r-- | lib/basis.lig | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/basis.lig b/lib/basis.lig index b721f775..a7cfd276 100644 --- a/lib/basis.lig +++ b/lib/basis.lig @@ -11,6 +11,15 @@ datatype bool = False | True con sql_table :: {Type} -> Type +(*** Queries *) + +con sql_query :: {{Type}} -> Type + +val sql_query : tables ::: {{Type}} + -> $(fold (fn nm => fn ts => fn acc => [nm] ~ acc => + [nm = sql_table ts] ++ acc) [] tables) + -> sql_query tables + (** XML *) @@ -41,6 +50,8 @@ val useMore : ctx ::: {Unit} -> use1 ::: {Type} -> use2 ::: {Type} -> bind ::: { con xhtml = xml [Html] con page = xhtml [] [] +(*** HTML details *) + con html = [Html] con head = [Head] con body = [Body] |