Language.PureScript.TypeChecker.Monad

data NameKind

data TypeDeclarationKind

data Environment

emptyEnvironment

bindNames

bindTypes

withTypeClassDictionaries

getTypeClassDictionaries

bindLocalVariables

bindLocalTypeVariables

lookupVariable

lookupTypeVariable

canonicalize

canonicalizeType

data CheckState

data Check a

getEnv

putEnv

modifyEnv

runCheck

guardWith

rethrow

freshDictionaryName

data Substitution

data SubstState

data SubstContext

data Subst a

liftCheck

getSubstState

runSubst

substituteWith

substituteOne

replace

class Unifiable t

occursCheck

fresh'

fresh

qualifyAllUnqualifiedNames