data-diverse-2.0.0.0: Extensible records and polymorphic variants.

Safe HaskellSafe
LanguageHaskell2010

Data.Diverse.AFunctor

Synopsis

Documentation

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)

Minimal complete definition

afmap

Methods

afmap :: c xs -> f xs -> f (CaseResults c xs) Source #

Instances

AFunctor Many_ c as => AFunctor Many c as Source #

Given a Case that transforms each type in the typelist, convert a Many xs to Many (CaseResults c xs)

Methods

afmap :: c as -> Many as -> Many (CaseResults * * c as) Source #