data-pprint-0.1: Prettyprint and compare Data values

Data.Data.GenRep

Description

Intended for internal use: Generic representation of Data vales.

Synopsis

Documentation

data ConstructorName Source

Name and precedence of constructors.

Constructors

Prefix String

used also for literals except characters

Char Char

character literal

Infix Int String 
Infixr Int String 
Infixl Int String 
Tuple Int

tuple with n elements

Cons

nonempty list constructor

Nil

empty list constructor

data GenericData Source

Representation of Data values.

Constructors

Constructor ConstructorName [GenericData] 
Error String

shown exception

Timeout Double

timeout, the Double is between 0 and 1.

  • 0: evaluation of subexpression started at the beginning
  • towards 1: evaluation of subexpression started near the end of time limit
  • 1: evaluation of subexpression started after time limit (rare)
Hole

this is caused space shortage, shown as three dots

Detail GenericData

also caused by space shortage but this omission a relevant part

ListHole

used during show

constructor :: Data a => Budget -> a -> IO [GenericData] -> IO GenericDataSource

Convert a Data value to GenericData given the GenericData representation of the value's children.

arity :: Data a => a -> IntSource

Arity of the toplevel constructor.