NLP.GenI.GeniVal.Internal

data GeniVal

mkGConst

mkGConstNone

mkGVar

mkGVarNone

mkGAnon

singletonVal

isAnon

type Subst

prettySubst

class MonadUnify m

unify

allSubsume

unifyHelper

appendSubst

prependToSubst

data UnificationResult

unifyOne

intersectConstraints

subsumeOne

Variable substitution

replace

replaceOne

replaceList

replaceMapG

replaceOneG

Variable collection and renaming

type CollectedVar

class Collectable a

class Idable a

anonymiseSingletons

finaliseVarsById

finaliseVars

Fancy disjunction

data SchemaVal

crushOne

crushList

Genericity

class DescendGeniVal a