curry-base-1.1.1: Functions for manipulating Curry programs

Copyright2009 Holger Siegel
2012 - 2015 Björn Peemöller
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Curry.Base.Message

Description

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

Synopsis

Documentation

data Message Source #

Compiler message

Constructors

Message 

Fields

Instances
Eq Message Source # 
Instance details

Defined in Curry.Base.Message

Methods

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

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

Ord Message Source # 
Instance details

Defined in Curry.Base.Message

Show Message Source # 
Instance details

Defined in Curry.Base.Message

Pretty Message Source # 
Instance details

Defined in Curry.Base.Message

HasPosition Message Source # 
Instance details

Defined in Curry.Base.Message

message :: Doc -> Message Source #

Construct a Message without a Position

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

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

showWarning :: Message -> String Source #

Show a Message as a warning

showError :: Message -> String Source #

Show a Message as an error

ppMessage :: Message -> Doc Source #

Pretty print a Message

ppWarning :: Message -> Doc Source #

Pretty print a Message as a warning

ppError :: Message -> Doc Source #

Pretty print a Message as an error

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

Pretty print a list of Messages by vertical concatenation