anaAlts :: [(Id, Type)] -> Type -> [Alternative] -> State Env [AltDefn] |
|
anaAlt :: [(Id, Type)] -> Type -> Alternative -> State Env [AltDefn] |
|
getConstrType :: Type -> Partiality -> [Type] -> Type |
|
addPartiality :: Partiality -> Type -> Type |
|
makePartial :: Type -> Type |
|
anaComps :: Id -> [(Id, Type)] -> Type -> ([Component], [Int]) -> State Env (Maybe Type, [Selector]) |
|
anaComp :: Id -> [(Id, Type)] -> Type -> (Component, [Int]) -> State Env (Maybe Type, [Selector]) |
|
getSelType :: Type -> Partiality -> Type -> Type |
|
anaCompType :: [(Id, Type)] -> Type -> Type -> State Env (Maybe Type) |
|
checkMonomorphRecursion :: Type -> (Id, Type) -> State Env Bool |
|
unboundTypevars :: [TypeArg] -> Type -> State Env (Maybe Type) |