| 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) |
