blob: 820b89b7ab4a9dea00ea2a74b9c8b6bf0206af9b (
plain)
1
2
3
4
5
6
|
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
|
