| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Fixpoint.Errors
Contents
- data SrcSpan = SS {}
- dummySpan :: SrcSpan
- sourcePosElts :: SourcePos -> (SourceName, Line, Column)
- data Error
- err :: SrcSpan -> String -> Error
- errLoc :: Error -> SrcSpan
- errMsg :: Error -> String
- catMessage :: Error -> String -> Error
- catError :: Error -> Error -> Error
- die :: Error -> a
- exit :: a -> IO a -> IO a
Concrete Location Type
A Reusable SrcSpan Type ------------------------------------------
sourcePosElts :: SourcePos -> (SourceName, Line, Column) Source
Abstract Error Type
A BareBones Error Type -------------------------------------------
Constructor
Accessors
Adding Insult to Injury
catMessage :: Error -> String -> Error Source