Swish.Datatype

data Datatype ex lb vn

typeName

typeRules

typeMkRules

typeMkModifiers

typeMkCanonicalForm

getTypeAxiom

getTypeRule

data DatatypeVal ex vt lb vn

getDTMod

getDTRel

tvalMkCanonicalForm

data DatatypeMap vt

data DatatypeRel vt

type DatatypeRelFn vt

type DatatypeRelPr vt

altArgs

type UnaryFnDescr a

type UnaryFnTable a

type UnaryFnApply a

unaryFnApp

type BinaryFnDescr a

type BinaryFnTable a

type BinaryFnApply a

binaryFnApp

type BinMaybeFnDescr a

type BinMaybeFnTable a

type BinMaybeFnApply a

binMaybeFnApp

type ListFnDescr a

type ListFnTable a

type ListFnApply a

listFnApp

data DatatypeMod vt lb vn

type ModifierFn vn

type ApplyModifier lb vn

nullDatatypeMod

makeVmod11inv

makeVmod11

makeVmod21inv

makeVmod21

makeVmod20

makeVmod22

makeVmodN1

data DatatypeSub ex lb vn supvt subvt