Generics.SOP.GGP

Derive generics-sop boilerplate instances from GHC's Generic.

The technique being used here is described in the following paper:

• José Pedro Magalhães and Andres Löh. Generic Generic Programming. Practical Aspects of Declarative Languages (PADL) 2014.

Documentation

type GCode (a :: Type) = ToSumCode (Rep a) '[]

Compute the SOP code of a datatype.

This requires that Rep is defined, which in turn requires that the type has a Generic (from module GHC.Generics) instance.

This is the default definition for Code. For more info, see Generic.

type GFrom a = GSumFrom (Rep a)

Constraint for the class that computes gfrom.

type GTo a = GSumTo (Rep a)

Constraint for the class that computes gto.

type GDatatypeInfo a = DemoteDatatypeInfo (GDatatypeInfoOf a) (GCode a)

Constraint for the class that computes gdatatypeInfo.

type GDatatypeInfoOf (a :: Type) = ToInfo (Rep a)

Compute the datatype info of a datatype.

Since: 0.3.0.0

gfrom :: (GFrom a, Generic a) => a -> SOP I (GCode a)

An automatically computed version of from.

This requires that the type being converted has a Generic (from module GHC.Generics) instance.

This is the default definition for from. For more info, see Generic.

gto :: forall a. (GTo a, Generic a) => SOP I (GCode a) -> a

An automatically computed version of to.

This requires that the type being converted has a Generic (from module GHC.Generics) instance.

This is the default definition for to. For more info, see Generic.

gdatatypeInfo :: forall proxy a. GDatatypeInfo a => proxy a -> DatatypeInfo (GCode a)

An automatically computed version of datatypeInfo.

This requires that the type being converted has a Generic (from module GHC.Generics) instance.

This is the default definition for datatypeInfo. For more info, see HasDatatypeInfo.