TrieMap

Maps over Core expressions

data CoreMap a

emptyCoreMap

extendCoreMap

lookupCoreMap

foldCoreMap

Maps over Types

data TypeMap a

emptyTypeMap

extendTypeMap

lookupTypeMap

foldTypeMap

data LooseTypeMap a

With explicit scoping

data CmEnv

lookupCME

extendTypeMapWithScope

lookupTypeMapWithScope

mkDeBruijnContext

Maps over Maybe values

data MaybeMap m a

Maps over List values

data ListMap m a

Maps over Literals

type LiteralMap a

TrieMap class

class TrieMap m

insertTM

deleteTM

lkDFreeVar

xtDFreeVar

lkDNamed

xtDNamed

(>.>)

(|>)

(|>>)