Data.Data.GenRep

Intended for internal use: Generic representation of Data vales.

Documentation

data ConstructorName

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

Eq ConstructorName

Defined in Data.Data.GenRep

Methods

(==) :: ConstructorName -> ConstructorName -> Bool

(/=) :: ConstructorName -> ConstructorName -> Bool

Show ConstructorName

Defined in Data.Data.GenRep

Methods

showsPrec :: Int -> ConstructorName -> ShowS

show :: ConstructorName -> String

showList :: [ConstructorName] -> ShowS

NFData ConstructorName

Defined in Data.Data.GenRep

Methods

rnf :: ConstructorName -> ()

data GenericData

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

Show GenericData

Defined in Data.Data.GenRep

Methods

showsPrec :: Int -> GenericData -> ShowS

show :: GenericData -> String

showList :: [GenericData] -> ShowS

NFData GenericData

Defined in Data.Data.GenRep

Methods

rnf :: GenericData -> ()

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

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

arity :: Data a => a -> Int

Arity of the toplevel constructor.