| Copyright | 2009 Holger Siegel 2012 - 2015 Björn Peemöller |
|---|---|
| License | BSD-3-clause |
| Maintainer | bjp@informatik.uni-kiel.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Curry.Base.Message
Description
The type message represents a compiler message with an optional source code position.
Synopsis
- data Message = Message {
- msgSpanInfo :: SpanInfo
- msgTxt :: Doc
- message :: Doc -> Message
- posMessage :: HasPosition p => p -> Doc -> Message
- spanMessage :: Span -> Doc -> Message
- spanInfoMessage :: HasSpanInfo s => s -> Doc -> Message
- showWarning :: Message -> String
- showError :: Message -> String
- ppMessage :: Message -> Doc
- ppWarning :: Message -> Doc
- ppError :: Message -> Doc
- ppMessages :: (Message -> Doc) -> [Message] -> Doc
- ppMessagesWithPreviews :: (Message -> Doc) -> [Message] -> IO Doc
Documentation
Compiler message
Constructors
| Message | |
Fields
| |
Instances
| Eq Message Source # | |
| Ord Message Source # | |
Defined in Curry.Base.Message | |
| Show Message Source # | |
| Pretty Message Source # | |
| HasPosition Message Source # | |
Defined in Curry.Base.Message | |
| HasSpanInfo Message Source # | |
Defined in Curry.Base.Message Methods getSpanInfo :: Message -> SpanInfo Source # setSpanInfo :: SpanInfo -> Message -> Message Source # updateEndPos :: Message -> Message Source # getLayoutInfo :: Message -> LayoutInfo Source # | |
posMessage :: HasPosition p => p -> Doc -> Message Source #
Construct a message from a position.
spanInfoMessage :: HasSpanInfo s => s -> Doc -> Message Source #
Construct a message from an entity with a SpanInfo and a text