TrieMap

# Maps over Core expressions

data CoreMap a

emptyCoreMap

extendCoreMap

lookupCoreMap

foldCoreMap

# Maps over `Type`s

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 `Literal`s

type LiteralMap a

# `TrieMap` class

class TrieMap m

insertTM

deleteTM

lkDFreeVar

xtDFreeVar

lkDNamed

xtDNamed

(>.>)

(|>)

(|>>)