data-pprint-0.2: 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

Instances

data GenericData Source

Representation of Data values.

Constructors

Constructor ConstructorName [GenericData] 
Error String

exception error message

NestedError GenericData

error message which may contain further errors

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

Instances

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

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

arity :: Data a => a -> IntSource

Arity of the toplevel constructor.