Curry.Base.Message

The type message represents a compiler message with an optional source code position.

Documentation

data Message

Compiler message

Constructors

Message

Fields

• msgPos :: Maybe Position

  optional source code position

• msgTxt :: Doc

  the message itself

Instances

Eq Message

Defined in Curry.Base.Message

Methods

(==) :: Message -> Message -> Bool

(/=) :: Message -> Message -> Bool

Ord Message

Defined in Curry.Base.Message

Methods

compare :: Message -> Message -> Ordering

(<) :: Message -> Message -> Bool

(<=) :: Message -> Message -> Bool

(>) :: Message -> Message -> Bool

(>=) :: Message -> Message -> Bool

max :: Message -> Message -> Message

min :: Message -> Message -> Message

Show Message

Defined in Curry.Base.Message

Methods

showsPrec :: Int -> Message -> ShowS

show :: Message -> String

showList :: [Message] -> ShowS

Pretty Message

Defined in Curry.Base.Message

Methods

pPrint :: Message -> Doc

pPrintPrec :: Int -> Message -> Doc

pPrintList :: [Message] -> Doc

HasPosition Message

Defined in Curry.Base.Message

Methods

getPosition :: Message -> Position

setPosition :: Position -> Message -> Message

message :: Doc -> Message

Construct a Message without a Position

posMessage :: HasPosition p => p -> Doc -> Message

Construct a message from an entity with a Position and a text

showWarning :: Message -> String

Show a Message as a warning

showError :: Message -> String

Show a Message as an error

ppMessage :: Message -> Doc

Pretty print a Message

ppWarning :: Message -> Doc

Pretty print a Message as a warning

ppError :: Message -> Doc

Pretty print a Message as an error

ppMessages :: (Message -> Doc) -> [Message] -> Doc

Pretty print a list of Messages by vertical concatenation