Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.UX.Tidy

Contents

Tidying functions
Panic and Exit
Final result
Error to UserError
MOVE TO TYPES
Orphan instances

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
- result :: a -> FixResult UserError
errorToUserError :: Error -> UserError
cinfoError :: Cinfo -> Error

Tidying functions

tidySpecType :: Tidy -> SpecType -> SpecType Source #

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

class Result a where Source #

Converting Results To Answers -------------------------------------

Methods

result :: a -> FixResult UserError Source #

Instances

Instances details

Result SourceError Source #
Instance details Defined in Language.Haskell.Liquid.GHC.Interface Methods result :: SourceError -> FixResult UserError Source #
Result UserError Source #
Instance details Defined in Language.Haskell.Liquid.UX.Tidy Methods result :: UserError -> FixResult UserError Source #
Result Error Source #
Instance details Defined in Language.Haskell.Liquid.UX.Tidy Methods result :: Error -> FixResult UserError Source #
Result [Error] Source #
Instance details Defined in Language.Haskell.Liquid.UX.Tidy Methods result :: [Error] -> FixResult UserError Source #
Result (FixResult Cinfo) Source #
Instance details Defined in Language.Haskell.Liquid.UX.Tidy Methods result :: FixResult Cinfo -> FixResult UserError Source #

Error to UserError

errorToUserError :: Error -> UserError Source #

MOVE TO TYPES

cinfoError :: Cinfo -> Error Source #

Orphan instances

Show Error Source #
Instance details Methods showsPrec :: Int -> Error -> ShowS # show :: Error -> String # showList :: [Error] -> ShowS #
Exception Error Source #
Instance details Methods toException :: Error -> SomeException # fromException :: SomeException -> Maybe Error # displayException :: Error -> String #
PPrint Error Source #
Instance details Methods pprintTidy :: Tidy -> Error -> Doc # pprintPrec :: Int -> Tidy -> Error -> Doc #
Exception [Error] Source #
Instance details Methods toException :: [Error] -> SomeException # fromException :: SomeException -> Maybe [Error] # displayException :: [Error] -> String #
PPrint (CtxError Doc) Source #	Pretty Printing Error Messages -------------------------------------------- Need to put `PPrint Error` instance here (instead of in Types), as it depends on `PPrint SpecTypes`, which lives in this module.
Instance details Methods pprintTidy :: Tidy -> CtxError Doc -> Doc # pprintPrec :: Int -> Tidy -> CtxError Doc -> Doc #
PPrint (CtxError SpecType) Source #
Instance details Methods pprintTidy :: Tidy -> CtxError SpecType -> Doc # pprintPrec :: Int -> Tidy -> CtxError SpecType -> Doc #