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