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