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 # | |
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