CSPM.TypeChecker.Monad
readTypeRef
writeTypeRef
freshTypeVar
freshTypeVarWithConstraints
getType
setType
isTypeUnsafe
markTypeAsUnsafe
replacementForDeprecatedName
isDeprecated
markAsDeprecated
compress
compressTypeScheme
type TypeCheckMonad
runTypeChecker
newTypeInferenceState
data TypeInferenceState
getState
local
getEnvironment
type ErrorContext
addErrorContext
getErrorContexts
getSrcSpan
setSrcSpan
getUnificationStack
addUnificationPair
symmetricUnificationAllowed
disallowSymmetricUnification
getInError
setInError
resetWarnings
getWarnings
addWarning
markDatatypeAsComparableForEquality
datatypeIsComparableForEquality
unmarkDatatypeAsComparableForEquality
modifyErrorOptions
addDefinitionName
getDefinitionStack
raiseMessageAsError
raiseMessagesAsError
panic
manyErrorsIfFalse
errorIfFalseM
errorIfFalse
tryAndRecover
failM