Test.ChasingBottoms.ApproxShow

Functions for converting arbitrary (non-function, partial, possibly infinite) values into strings.

Documentation

type Prec = Int

Precedence level.

class ApproxShow a where

Minimal complete definition

approxShowsPrec

Methods

approxShowsPrec :: Nat -> Prec -> a -> ShowS

The Data instance of ApproxShow makes sure that approxShowsPrec n behaves (more or less) like the derived version of showsPrec, with the following differences:

• After n levels of descent into a term the output is replaced by "_".
• All detectable occurences of bottoms are replaced by "_|_".
• Non-bottom functions are displayed as "<function /= _|_>".

approxShows :: Nat -> a -> ShowS

approxShow :: Nat -> a -> String

Instances

Data a => ApproxShow a

Defined in Test.ChasingBottoms.ApproxShow

Methods

approxShowsPrec :: Nat -> Prec -> a -> ShowS

approxShows :: Nat -> a -> ShowS

approxShow :: Nat -> a -> String