diff options
Diffstat (limited to 'lib/basis.lig')
-rw-r--r-- | lib/basis.lig | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/lib/basis.lig b/lib/basis.lig index 83aa9dc6..65dd7000 100644 --- a/lib/basis.lig +++ b/lib/basis.lig @@ -1,3 +1,22 @@ type int type float type string + + +con tag :: {Unit} -> {Unit} -> Type + + +con xml :: {Unit} -> Type +val cdata : ctx ::: {Unit} -> string -> xml ctx +val tag : outer ::: {Unit} -> inner ::: {Unit} + -> tag outer inner + -> xml inner + -> xml outer +val join : shared :: {Unit} + -> ctx1 ::: {Unit} -> ctx1 ~ shared + -> ctx2 ::: {Unit} -> ctx2 ~ shared + -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared + + +val head : tag [Html] [Head] +val title : tag [Head] [] |