Data.Diverse.AFunctor

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

afmap

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)

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

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

Defined in Data.Diverse.Which.Internal

Methods

afmap :: c (a ': as) -> Which (a ': as) -> Which (CaseResults c (a ': as))