Language.PureScript.TypeChecker.Monad
bindNames
bindTypes
withScopedTypeVars
withTypeClassDictionaries
getTypeClassDictionaries
lookupTypeClassDictionaries
bindLocalVariables
bindLocalTypeVariables
makeBindingGroupVisible
withBindingGroupVisible
preservingNames
lookupVariable
getVisibility
checkVisibility
lookupTypeVariable
data CheckState
data Check a
getEnv
putEnv
modifyEnv
runCheck
runCheck'
guardWith
freshDictionaryName
liftCheck
liftUnify
liftUnifyWarnings