| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.UX.Tidy
Description
This module contains functions for cleaning up types before they are rendered, e.g. in error messages or annoations, and also some PPrint instances that rely upon tidying.
Synopsis
- tidySpecType :: Tidy -> SpecType -> SpecType
- tidySymbol :: Symbol -> Symbol
- panicError :: Error -> a
- class Result a where
- errorToUserError :: Error -> UserError
- cinfoError :: Cinfo -> Error
Tidying functions
tidySymbol :: Symbol -> Symbol #
Panic and Exit
panicError :: Error -> a Source #
This function is put in this module as it depends on the Exception instance, which depends on the PPrint instance, which depends on tidySpecType.
Show an Error, then crash
Final result
Converting Results To Answers -------------------------------------
Error to UserError
errorToUserError :: Error -> UserError Source #
MOVE TO TYPES
cinfoError :: Cinfo -> Error Source #
Orphan instances
| Show Error Source # | |
| Exception Error Source # | |
Methods toException :: Error -> SomeException # fromException :: SomeException -> Maybe Error # displayException :: Error -> String # | |
| PPrint Error Source # | |
| Exception [Error] Source # | |
Methods toException :: [Error] -> SomeException # fromException :: SomeException -> Maybe [Error] # displayException :: [Error] -> String # | |
| PPrint (CtxError Doc) Source # | Pretty Printing Error Messages -------------------------------------------- Need to put |
| PPrint (CtxError SpecType) Source # | |