Copyright | (c) Nils Anders Danielsson 2004-2022 |
---|---|
License | See the file LICENCE. |
Maintainer | http://www.cse.chalmers.se/~nad/ |
Stability | experimental |
Portability | non-portable (GHC-specific) |
Safe Haskell | None |
Language | Haskell2010 |
Functions for converting arbitrary (non-function, partial, possibly infinite) values into strings.
Synopsis
- type Prec = Int
- class ApproxShow a where
- approxShowsPrec :: Nat -> Prec -> a -> ShowS
- approxShows :: Nat -> a -> ShowS
- approxShow :: Nat -> a -> String
Documentation
class ApproxShow a where Source #
approxShowsPrec :: Nat -> Prec -> a -> ShowS Source #
The Data
instance of ApproxShow
makes sure that
behaves (more or less) like the derived
version of approxShowsPrec
nshowsPrec
, 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 Source #
approxShow :: Nat -> a -> String Source #
Instances
Data a => ApproxShow a Source # | |
Defined in Test.ChasingBottoms.ApproxShow |