data-diverse-2.0.0.0: Extensible records and polymorphic variants.
Data.Diverse.AFunctor
Synopsis
class AFunctor f c xs where Source #
Given a Case that transforms each type in the typelist, convert a f xs to f (CasesResult2 c xs)
Case
f xs
f (CasesResult2 c xs)
Minimal complete definition
afmap
Methods
afmap :: c xs -> f xs -> f (CaseResults c xs) Source #
Instances
Given a Case that transforms each type in the typelist, convert a Many xs to Many (CaseResults c xs)
Many xs
Many (CaseResults c xs)
afmap :: c as -> Many as -> Many (CaseResults * * c as) Source #