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