Data.Generics.Record

Documentation

data RecordT a

A phantom type used to parameterize functions based on records. This let's us avoid passing undefineds or manually creating instances all the time. It can only be created for types which are records and is used as a token to most of the API's functions.

isRecord :: forall a. Data a => a -> Bool

Returns True if a is a data type with a single constructor and is a record. a may be bottom.

recordT :: forall a. Data a => Maybe (RecordT a)

The smart constructor for RecordTs. This will return a RecordT if and only if the type is a record.

fields :: forall a. Data a => RecordT a -> [String]

Returns the fields for the record a

emptyRecord :: forall a. Data a => RecordT a -> a

Return a record where all fields are _|_

recordStructure :: forall a. Data a => RecordT a -> [(TypeRep, String)]

Return a records structure of as a list of types paired with field names.