Safe Haskell	None

FrontEnd.KindInfer

Description

This module implements the Kind Inference algorithm, and the routines which use the product of kind inference to convert haskell source types into the simplified kind annotated types used by the rest of the FrontEnd.

Documentation

kiDecls :: KindEnv -> [HsDecl] -> IO KindEnv Source

data KindEnv Source

Instances

Show KindEnv
Typeable KindEnv
Monoid KindEnv
Binary KindEnv
HasSize KindEnv
DocLike d => PPrint d KindEnv

hsQualTypeToSigma :: Monad m => KindEnv -> HsQualType -> m Sigma Source

hsAsstToPred :: KindEnv -> HsAsst -> Pred Source

kiHsQualType :: KindEnv -> HsQualType -> KindEnv Source

kindOfClass :: Name -> KindEnv -> [Kind]Source

kindOf :: Name -> KindEnv -> Kind Source

restrictKindEnv :: (Name -> Bool) -> KindEnv -> KindEnv Source

hsTypeToType :: Monad m => KindEnv -> HsType -> m Type Source

getConstructorKinds :: KindEnv -> Map Name Kind Source