Language.Haskell.Liquid.UX.Tidy

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.

Tidying functions

tidySpecType :: Tidy -> SpecType -> SpecType

tidySymbol :: Symbol -> Symbol

Tidyness tests

isTmpSymbol :: Symbol -> Bool

Panic and Exit

panicError :: Error -> a

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

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

Methods

result :: a -> FixResult UserError

Instances

Result UserError

Result Error

Result [Error]

Result (FixResult Cinfo)

MOVE TO TYPES

cinfoError :: Cinfo -> Error