liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

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

Tidying functions

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

Error to UserError

MOVE TO TYPES

Orphan instances

Exception Error Source # 
Instance details

Show Error Source # 
Instance details

Methods

showsPrec :: Int -> Error -> ShowS #

show :: Error -> String #

showList :: [Error] -> ShowS #

PPrint Error Source # 
Instance details

Methods

pprintTidy :: Tidy -> Error -> Doc #

pprintPrec :: Int -> Tidy -> Error -> Doc #

Exception [Error] Source # 
Instance details

PPrint (CtxError SpecType) Source # 
Instance details

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