helium-1.8: The Helium Compiler.
Helium.StaticAnalysis.Messages.KindErrors
Description
type KindErrors = [KindError] Source
data KindError Source
Constructors
Instances
mustBeStar :: Range -> String -> Type -> (Kind, Kind) -> KindError Source
kindApplication :: Range -> Type -> Type -> (Kind, Kind) -> KindError Source