Language.Sifflet.TypeCheck
valueType
typeCheckValues
typeVarsIn
type Subst
subst
substComp
idSubst
deltaSubst
extend
unify
data TypeScheme
schematicsTS
unknownsTS
substTS
type TypeEnv
emptyTypeEnv
install
unknownsTE
substTE
data NameSupply
newNameSupply
nameSupplyNext
nameSupplyTake
tcExpr
tcExprs
tcVar
newInstance
arrow
envToTypeEnv
baseTypeEnv
fromLambdaType
decideTypes