Mercurial > urweb

view demo/more/expandable.urs @ 1344:660a2715e2bd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Clarify that you aren't supposed to be able to create new XML tags
author Adam Chlipala <adam@chlipala.net>
date Thu, 16 Dec 2010 10:23:37 -0500
parents 7facf72aaf0a
children
line wrap: on
line source
con t :: {Unit} -> Type

val create : ctx ::: {Unit} -> xml ctx [] [] -> transaction (t ctx)
val render : ctx ::: {Unit} -> [[Body] ~ ctx] => t ([Body] ++ ctx) -> xml ([Body] ++ ctx) [] []
val expand : ctx ::: {Unit} -> t ctx -> transaction unit
val collapse : ctx ::: {Unit} -> t ctx -> transaction unit