Data.Generic.Rep

classGeneric 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::foralla rep.Generic a rep =>Proxy a ->Proxy rep

newtypeNoConstructors

A representation for types with no constructors.

dataNoArguments

A representation for constructors with no arguments.

Constructors

• NoArguments

Instances

• ShowNoArguments

dataSum a b

A representation for types with multiple constructors.

Constructors

• Inl a
• Inr b

Instances

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

dataProduct a b

A representation for constructors with multiple fields.

Constructors

• Product a b

Instances

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

newtypeConstructor::Symbol->Type->TypenewtypeConstructor(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)

newtypeArgument a

A representation for an argument in a data constructor.

Constructors

• Argument a

Instances

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