helium-1.8: The Helium Compiler.

Safe HaskellNone

Helium.StaticAnalysis.Messages.KindErrors

Description

 

Documentation

type KindErrors = [KindError]Source

data KindError Source

Constructors

MustBeStar Range String Doc Kind 
KindApplication Range Doc Doc Kind Kind 

Instances

mustBeStar :: Range -> String -> Type -> (Kind, Kind) -> KindErrorSource

kindApplication :: Range -> Type -> Type -> (Kind, Kind) -> KindErrorSource