diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-09-14 15:10:04 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-14 15:10:04 -0400 |
commit | 8cc7053b00237cd468290cb5f2042898e7a80329 (patch) | |
tree | 0138b56c392844cd8033fa03e81715b8b1ca4f8a /lib/basis.urs | |
parent | c81c24b4feb3fae3c13861f1bcaafab697a6bb7e (diff) |
Crud supports INSERT
Diffstat (limited to 'lib/basis.urs')
-rw-r--r-- | lib/basis.urs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index 672153b6..ed217e3a 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -257,13 +257,14 @@ con xhtml = xml [Html] con page = xhtml [] [] con xbody = xml [Body] [] [] con xtr = xml [Body, Tr] [] [] +con xform = xml [Body, LForm] [] [] (*** HTML details *) con html = [Html] con head = [Head] con body = [Body] -con lform = [Body, LForm] +con form = [Body, LForm] con tabl = [Body, Table] con tr = [Body, Tr] @@ -289,7 +290,7 @@ val li : bodyTag [] val a : bodyTag [Link = transaction page] val lform : ctx ::: {Unit} -> [Body] ~ ctx -> bind ::: {Type} - -> xml lform [] bind + -> xml form [] bind -> xml ([Body] ++ ctx) [] [] con lformTag = fn ty :: Type => fn inner :: {Unit} => fn attrs :: {Type} => ctx ::: {Unit} -> [LForm] ~ ctx |