| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ema.Route.Generic.RGeneric
Synopsis
- class (Generic r, HasDatatypeInfo r) => RGeneric r where
- class (RGeneric r, HasDatatypeInfo r) => RHasDatatypeInfo r where
- type RDatatypeName r :: DatatypeName
- type RConstructorNames r :: [ConstructorName]
Documentation
class (Generic r, HasDatatypeInfo r) => RGeneric r where Source #
Like Generic but for Route types only.
class (RGeneric r, HasDatatypeInfo r) => RHasDatatypeInfo r Source #
Associated Types
type RDatatypeName r :: DatatypeName Source #
type RConstructorNames r :: [ConstructorName] Source #
Instances
| (RGeneric r, HasDatatypeInfo r) => RHasDatatypeInfo r Source # | |
Defined in Ema.Route.Generic.RGeneric Associated Types type RDatatypeName r :: DatatypeName Source # type RConstructorNames r :: [ConstructorName] Source # | |