Helium.StaticAnalysis.Messages.Warnings

Documentation

type Warnings = [Warning]

data Warning

Constructors

NoTypeDef Name TpScheme Bool Bool

Shadow Name Name

Unused Entity Name

SimilarFunctionBindings Name Name

SuspiciousTypeVariable Name Name

ReduceContext Range Predicates Predicates

MissingPatterns Range (Maybe Name) Tp [[Pattern]] String String

UnreachablePatternCase Range Pattern

UnreachablePatternLHS LeftHandSide

UnreachableGuard Range Expression

FallThrough Range

SignatureTooSpecific Name TpScheme TpScheme

Instances

HasMessage Warning

showWarning :: Warning -> (MessageBlock, MessageBlocks)

plural :: [a] -> String -> String

semP :: Pattern -> Doc