Language.PureScript.TypeChecker.Monad
data Substitution
emptySubstitution
data CheckState
emptyCheckState
type Unknown
bindNames
bindTypes
withScopedTypeVars
withErrorMessageHint
getHints
rethrowWithPositionTC
warnAndRethrowWithPositionTC
withTypeClassDictionaries
getTypeClassDictionaries
lookupTypeClassDictionaries
bindLocalVariables
bindLocalTypeVariables
makeBindingGroupVisible
withBindingGroupVisible
preservingNames
lookupVariable
getVisibility
checkVisibility
lookupTypeVariable
getEnv
getLocalContext
putEnv
modifyEnv
runCheck
runCheck'
guardWith
captureSubstitution
capturingSubstitution
withFreshSubstitution
withoutWarnings