Infernu.InferState
type Infer a
emptyInferState
runInferWith
runSubInfer
getState
setState
runInfer
fresh
freshVarId
throwError
failWith
failWithM
mapError
getVarSchemeByVarId
getVarId
getVarScheme
setVarScheme
addVarScheme
addPendingUnification
getPendingUnifications
setPendingUnifications
addVarInstance
getFreeTVars
addNamedType
areEquivalentNamedTypes
replaceFixQual
isRecParamOnly
dropAt
replaceRecType
allocNamedType
resolveSimpleMutualRecursion
getNamedType
unrollNameByScheme
unrollName
applySubstInfer
instantiateScheme
instantiate
instantiateVar
unsafeGeneralize
isExpansive
generalize
minifyVarsFunc
minifyVars
getVarInstances
getMainSubst
applyMainSubst
substVar
lookupClass