| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Fixpoint.Types.Errors
Contents
- data SrcSpan = SS {}
- dummySpan :: SrcSpan
- sourcePosElts :: SourcePos -> (SourceName, Line, Column)
- data FixResult a
- colorResult :: FixResult a -> Moods
- resultDoc :: Fixpoint a => FixResult a -> Doc
- data Error
- err :: SrcSpan -> Doc -> Error
- errLoc :: Error1 -> SrcSpan
- errMsg :: Error1 -> Doc
- catError :: Error -> Error -> Error
- catErrors :: ListNE Error -> Error
- die :: Error -> a
- exit :: a -> IO a -> IO a
- errFreeVarInQual :: (PPrint q, Loc q, PPrint x) => q -> x -> Error
- errFreeVarInConstraint :: Integer -> Error
Concrete Location Type
A Reusable SrcSpan Type ------------------------------------------
sourcePosElts :: SourcePos -> (SourceName, Line, Column) Source
Result
Result ---------------------------------------------------------
Instances
| Functor FixResult Source | |
| Foldable FixResult Source | |
| Traversable FixResult Source | |
| Eq a => Eq (FixResult a) Source | |
| Data a => Data (FixResult a) Source | |
| Show a => Show (FixResult a) Source | |
| Generic (FixResult a) Source | |
| Exception (FixResult Error) Source | |
| Monoid (FixResult a) Source | |
| Binary a => Binary (FixResult a) Source | |
| Serialize (FixResult Error) Source | |
| NFData a => NFData (FixResult a) Source | |
| (Ord a, Fixpoint a) => Fixpoint (FixResult (SubC a)) Source | |
| Inputable (FixResult Integer) Source | |
| Inputable (FixResult Integer, FixSolution) Source | |
| type Rep (FixResult a) Source |
colorResult :: FixResult a -> Moods Source
Abstract Error Type
A BareBones Error Type ----------------------------------------------------