helium-1.8.1: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

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

kindApplication :: Range -> Type -> Type -> (Kind, Kind) -> KindError Source