Mercurial > urweb

comparison lib/ur/basis.urs @ 770:c125df6fabfc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Runtime URL and MIME type filtering
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 18:20:15 -0400
parents 16b34dc2e29c
children a8bdd5a0d9b0
comparison
equal deleted inserted replaced
769:efceae06df17 770:c125df6fabfc
512 con tabl = [Body, Table] 512 con tabl = [Body, Table]
513 con tr = [Body, Tr] 513 con tr = [Body, Tr]
514 514
515 type url 515 type url
516 val bless : string -> url 516 val bless : string -> url
517 val checkUrl : string -> option url
517 518
518 val dyn : use ::: {Type} -> bind ::: {Type} -> unit 519 val dyn : use ::: {Type} -> bind ::: {Type} -> unit
519 -> tag [Signal = signal (xml body use bind)] body [] use bind 520 -> tag [Signal = signal (xml body use bind)] body [] use bind
520 521
521 val head : unit -> tag [] html head [] [] 522 val head : unit -> tag [] html head [] []
598 599
599 val upload : formTag file [] [Value = string, Size = int] 600 val upload : formTag file [] [Value = string, Size = int]
600 601
601 type mimeType 602 type mimeType
602 val blessMime : string -> mimeType 603 val blessMime : string -> mimeType
604 val checkMime : string -> option mimeType
603 val returnBlob : t ::: Type -> blob -> mimeType -> transaction t 605 val returnBlob : t ::: Type -> blob -> mimeType -> transaction t
604 val blobSize : blob -> int 606 val blobSize : blob -> int
605 607
606 con radio = [Body, Radio] 608 con radio = [Body, Radio]
607 val radio : formTag string radio [] 609 val radio : formTag string radio []