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