Mercurial > urweb

comparison lib/basis.urs @ 280:fdd7a698be01

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Compiling a parametrized query the inefficient way
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 17:31:45 -0400
parents bacd0ba869e1
children c0e4ac23522d
comparison
equal deleted inserted replaced
279:8bb46d87b074 280:fdd7a698be01
228 val font : bodyTag [Size = int, Face = string] 228 val font : bodyTag [Size = int, Face = string]
229 229
230 val h1 : bodyTag [] 230 val h1 : bodyTag []
231 val li : bodyTag [] 231 val li : bodyTag []
232 232
233 val a : bodyTag [Link = page] 233 val a : bodyTag [Link = transaction page]
234 234
235 val lform : ctx ::: {Unit} -> [Body] ~ ctx -> bind ::: {Type} 235 val lform : ctx ::: {Unit} -> [Body] ~ ctx -> bind ::: {Type}
236 -> xml lform [] bind 236 -> xml lform [] bind
237 -> xml ([Body] ++ ctx) [] [] 237 -> xml ([Body] ++ ctx) [] []
238 con lformTag = fn ty :: Type => fn inner :: {Unit} => fn attrs :: {Type} => 238 con lformTag = fn ty :: Type => fn inner :: {Unit} => fn attrs :: {Type} =>
253 val lselect : lformTag string select [] 253 val lselect : lformTag string select []
254 val loption : unit -> tag [Value = string] select [] [] [] 254 val loption : unit -> tag [Value = string] select [] [] []
255 255
256 val submit : ctx ::: {Unit} -> [LForm] ~ ctx 256 val submit : ctx ::: {Unit} -> [LForm] ~ ctx
257 -> use ::: {Type} -> unit 257 -> use ::: {Type} -> unit
258 -> tag [Action = $use -> page] ([LForm] ++ ctx) ([LForm] ++ ctx) use [] 258 -> tag [Action = $use -> transaction page] ([LForm] ++ ctx) ([LForm] ++ ctx) use []