Helium.StaticAnalysis.Messages.Messages

Documentation

type Message = [MessageLine]

data MessageLine

Constructors

MessageOneLiner MessageBlock

MessageTable [(Bool, MessageBlock, MessageBlock)]

MessageHints String MessageBlocks

Instances

Show MessageLine

Substitutable MessageLine

type MessageBlocks = [MessageBlock]

data MessageBlock

Constructors

MessageString String

MessageRange Range

MessageType TpScheme

MessagePredicate Predicate

MessageOneLineTree OneLineTree

MessageCompose MessageBlocks

Instances

Show MessageBlock

Substitutable MessageBlock

class HasMessage a where

Methods

getRanges :: a -> [Range]

getMessage :: a -> Message

Instances

HasMessage ParseError

HasMessage Error

HasMessage KindError

HasMessage Warning

HasMessage ResolveError

HasMessage LexerWarning

HasMessage LexerError

HasMessage TypeError

HasMessage TS_Warning

HasMessage TS_Error

HasMessage InfoItem

(HasMessage a, HasMessage b) => HasMessage (Either a b)

(<:>) :: String -> MessageBlock -> (Bool, MessageBlock, MessageBlock)

(>:>) :: String -> MessageBlock -> (Bool, MessageBlock, MessageBlock)

data Entity

Constructors

TypeSignature

TypeVariable

TypeConstructor

Definition

Constructor

Variable

Import

ExportVariable

ExportModule

ExportConstructor

ExportTypeConstructor

Fixity

Instances

Eq Entity

Show Entity

sortMessages :: HasMessage a => [a] -> [a]

sortNamesByRange :: Names -> Names

ordinal :: Bool -> Int -> String

showNumber :: Int -> String

prettyOrList :: [String] -> String

prettyAndList :: [String] -> String

prettyNumberOfParameters :: Int -> String

capitalize :: String -> String

findSimilar :: Name -> Names -> Names