view lib/basis.lig @ 124:541282b81454

Explifying (non-mutual) 'val rec'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 10:13:18 -0400
parents 7fdc146b2bc2
children adfa2c7a75da
line wrap: on
line source
type int
type float
type string

type unit = {}


con tag :: {Type} -> {Unit} -> {Unit} -> Type


con xml :: {Unit} -> Type
val cdata : ctx ::: {Unit} -> string -> xml ctx
val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type} -> attrsGiven ~ attrsAbsent
        -> outer ::: {Unit} -> inner ::: {Unit}
        -> $attrsGiven
        -> tag (attrsGiven ++ attrsAbsent) 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


con xhtml = xml [Html]

val head : tag [] [Html] [Head]
val title : tag [] [Head] []

val body : tag [] [Html] [Body]
val p : tag [] [Body] [Body]
val b : tag [] [Body] [Body]
val i : tag [] [Body] [Body]
val font : tag [Size = int, Face = string] [Body] [Body]

val h1 : tag [] [Body] [Body]
val li : tag [] [Body] [Body]

val a : tag [Link = xhtml] [Body] [Body]