Mercurial > urweb

comparison lib/basis.urs @ 339:075b36dbb1a4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud supports INSERT
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 15:10:04 -0400
parents e976b187d73a
children 389399d65331
comparison
equal deleted inserted replaced
338:e976b187d73a 339:075b36dbb1a4
255 255
256 con xhtml = xml [Html] 256 con xhtml = xml [Html]
257 con page = xhtml [] [] 257 con page = xhtml [] []
258 con xbody = xml [Body] [] [] 258 con xbody = xml [Body] [] []
259 con xtr = xml [Body, Tr] [] [] 259 con xtr = xml [Body, Tr] [] []
260 con xform = xml [Body, LForm] [] []
260 261
261 (*** HTML details *) 262 (*** HTML details *)
262 263
263 con html = [Html] 264 con html = [Html]
264 con head = [Head] 265 con head = [Head]
265 con body = [Body] 266 con body = [Body]
266 con lform = [Body, LForm] 267 con form = [Body, LForm]
267 con tabl = [Body, Table] 268 con tabl = [Body, Table]
268 con tr = [Body, Tr] 269 con tr = [Body, Tr]
269 270
270 val head : unit -> tag [] html head [] [] 271 val head : unit -> tag [] html head [] []
271 val title : unit -> tag [] head [] [] [] 272 val title : unit -> tag [] head [] [] []
287 val li : bodyTag [] 288 val li : bodyTag []
288 289
289 val a : bodyTag [Link = transaction page] 290 val a : bodyTag [Link = transaction page]
290 291
291 val lform : ctx ::: {Unit} -> [Body] ~ ctx -> bind ::: {Type} 292 val lform : ctx ::: {Unit} -> [Body] ~ ctx -> bind ::: {Type}
292 -> xml lform [] bind 293 -> xml form [] bind
293 -> xml ([Body] ++ ctx) [] [] 294 -> xml ([Body] ++ ctx) [] []
294 con lformTag = fn ty :: Type => fn inner :: {Unit} => fn attrs :: {Type} => 295 con lformTag = fn ty :: Type => fn inner :: {Unit} => fn attrs :: {Type} =>
295 ctx ::: {Unit} -> [LForm] ~ ctx 296 ctx ::: {Unit} -> [LForm] ~ ctx
296 -> nm :: Name -> unit 297 -> nm :: Name -> unit
297 -> tag attrs ([LForm] ++ ctx) inner [] [nm = ty] 298 -> tag attrs ([LForm] ++ ctx) inner [] [nm = ty]