Ema.Route.Generic.RGeneric

Documentation

class (Generic r, HasDatatypeInfo r) => RGeneric r where

Like Generic but for Route types only.

Associated Types

type RCode r :: [Type]

Methods

rfrom :: r -> NS I (RCode r)

rto :: NS I (RCode r) -> r

Instances

(Generic r, HasDatatypeInfo r, RGeneric' (Code r), All RouteNP (Code r)) => RGeneric r

Defined in Ema.Route.Generic.RGeneric

Associated Types

type RCode r :: [Type]

Methods

rfrom :: r -> NS I (RCode r)

rto :: NS I (RCode r) -> r

class (RGeneric r, HasDatatypeInfo r) => RHasDatatypeInfo r

Associated Types

type RDatatypeName r :: DatatypeName

type RConstructorNames r :: [ConstructorName]

Instances

(RGeneric r, HasDatatypeInfo r) => RHasDatatypeInfo r

Defined in Ema.Route.Generic.RGeneric

Associated Types

type RDatatypeName r :: DatatypeName

type RConstructorNames r :: [ConstructorName]