Language.PureScript.TypeChecker.Monad

data Substitution

emptySubstitution

data CheckState

emptyCheckState

type Unknown

bindNames

bindTypes

withScopedTypeVars

withTypeClassDictionaries

getTypeClassDictionaries

lookupTypeClassDictionaries

bindLocalVariables

bindLocalTypeVariables

makeBindingGroupVisible

withBindingGroupVisible

preservingNames

lookupVariable

getVisibility

checkVisibility

lookupTypeVariable

getEnv

putEnv

modifyEnv

runCheck

runCheck'

guardWith

liftUnify

liftUnifyWarnings