Language.Javascript.JMacro.TypeCheck
eitherIsLeft
partitionOut
zipWithOrChange
zipWithOrIdM
unionWithM
intersectionWithM
class Compos1 t
composOp1
composOpM1
composOpM1_
composOpFold1
data C b a
data StoreVal
data TCState
tcStateEmpty
data TMonad a
class JTypeCheck a
evalTMonad
runTMonad
withContext
traversem_
freeVarsWithNames
prettyType
tyErr0
tyErr1
tyErr2ext
tyErr2Sub
prettyEnv
runTypecheckRaw
runTypecheckFull
runTypecheck
evalTypecheck
typecheckMain
addToStack
newVarRef
newTyVar
mapConstraint
partitionCs
lookupConstraintsList
instantiateVarRef
occursCheck
checkConstraints
addConstraint
cannonicalizeConstraints
tryCloseFrozenVars
withLocalScope
setFrozen
frame2VarRefs
addEnv
newVarDecl
resolveTypeGen
resolveType
resolveTypeShallow
integrateLocalType
lookupEnv
freeVars
instantiateScheme
instantiateRigidScheme
checkEscapedVars
(<:)
(<<:>)
someUpperBound
someLowerBound
(=.=)
typecheckWithBlock