NLP.GenI.GeniVal

GeniVal

data GeniVal

gLabel

gConstraints

mkGConst

mkGConstNone

mkGVar

mkGVarNone

mkGAnon

queries and manipulation

isAnon

singletonVal

fancy disjunction

data SchemaVal

crushOne

Unification and subsumption

Finalisation

finaliseVars

finaliseVarsById

anonymiseSingletons

Unification

class MonadUnify m

unify

data UnificationResult

type Subst

appendSubst

subsumption

subsumeOne

allSubsume

Traversing GeniVal containers

class DescendGeniVal a

class Collectable a

class Idable a

replace

replaceList