Safe Haskell	Safe
Language	Haskell2010

Data.Diverse.AFunctor

Synopsis

Documentation

class AFunctor f c xs where #

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

Minimal complete definition

Methods

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

Instances

AFunctor Many_ c as => AFunctor Many c as #	Given a `Case` that transforms each type in the typelist, convert a `Many xs` to `Many (CaseResults c xs)`
Instance details Defined in Data.Diverse.Many.Internal Methods afmap :: c as -> Many as -> Many (CaseResults c as) #
AFunctor Which c ([] :: [*]) #	Terminating AFunctor instance for empty type list
Instance details Defined in Data.Diverse.Which.Internal Methods afmap :: c [] -> Which [] -> Which (CaseResults c []) #
(Reiterate c (a ': as), AFunctor Which c as, Case c (a ': as)) => AFunctor Which c (a ': as) #	Recursive AFunctor instance for non empty type list delegate afmap'ing the remainder to an instance of Collector' with one less type in the type list
Instance details Defined in Data.Diverse.Which.Internal Methods afmap :: c (a ': as) -> Which (a ': as) -> Which (CaseResults c (a ': as)) #