Data.Generic.Rep

data NoConstructors

A representation for types with no constructors.

data NoArguments

A representation for constructors with no arguments.

Constructors

• NoArguments

data Sum a b

A representation for types with multiple constructors.

Constructors

• Inl a
• Inr b

data Product a b

A representation for constructors with multiple fields.

Constructors

• Product a b

newtype Constructor (name :: Symbol) a

A representation for constructors which includes the data constructor name as a type-level string.

Constructors

• Constructor a

newtype Argument a

A representation for an argument in a data constructor.

Constructors

• Argument a

newtype Rec fields

A representation for records.

Constructors

• Rec fields

newtype Field (field :: Symbol) a

A representation for a record field which includes the field name as a type-level string.

Constructors

• Field a

class Generic a rep | a -> rep where

The Generic class asserts the existence of a type function from types to their representations using the type constructors defined in this module.

Members

• to :: rep -> a
• from :: a -> rep