Data.Generic.Rep

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

repOf :: forall a rep. Generic a rep => Proxy a -> Proxy rep

newtype NoConstructors

A representation for types with no constructors.

data NoArguments

A representation for constructors with no arguments.

Constructors

• NoArguments

Instances

• Show NoArguments

data Sum a b

A representation for types with multiple constructors.

Constructors

• Inl a
• Inr b

Instances

• (Show a, Show b) => Show (Sum a b)

data Product a b

A representation for constructors with multiple fields.

Constructors

• Product a b

Instances

• (Show a, Show b) => Show (Product a b)

newtype Constructor :: Symbol -> Type -> Typenewtype Constructor (name :: Symbol) a

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

Constructors

• Constructor a

Instances

• (IsSymbol name, Show a) => Show (Constructor name a)

newtype Argument a

A representation for an argument in a data constructor.

Constructors

• Argument a

Instances

• (Show a) => Show (Argument a)