From 48b9d4dae3d1ca6ff39e71571a6db3a43497c9f9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 11 Sep 2008 17:41:52 -0400 Subject: Crud listing IDs --- lib/basis.urs | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'lib/basis.urs') diff --git a/lib/basis.urs b/lib/basis.urs index a095a57e..8737cbde 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -250,6 +250,7 @@ val useMore : ctx ::: {Unit} -> use1 ::: {Type} -> use2 ::: {Type} -> bind ::: { con xhtml = xml [Html] con page = xhtml [] [] +con xbody = xml [Body] [] [] (*** HTML details *) @@ -304,6 +305,13 @@ val submit : ctx ::: {Unit} -> [LForm] ~ ctx -> use ::: {Type} -> unit -> tag [Action = $use -> transaction page] ([LForm] ++ ctx) ([LForm] ++ ctx) use [] +(*** Tables *) + +val tabl : unit -> tag [Border = int] [Body] [Body, Table] [] [] +val tr : unit -> tag [] [Body, Table] [Body, Tr] [] [] +val th : unit -> tag [] [Body, Tr] [Body] [] [] +val td : unit -> tag [] [Body, Tr] [Body] [] [] + (** Aborting *) -- cgit v1.2.3