Safe Haskell | None |
---|
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
hsQualTypeToSigma :: Monad m => KindEnv -> HsQualType -> m SigmaSource
hsAsstToPred :: KindEnv -> HsAsst -> PredSource
kiHsQualType :: KindEnv -> HsQualType -> KindEnvSource
kindOfClass :: Name -> KindEnv -> [Kind]Source