| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Diverse.AFunctor
Synopsis
- class AFunctor f c xs where
- afmap :: c xs -> f xs -> f (CaseResults c xs)
Documentation
class AFunctor f c xs where Source #
Given a Case that transforms each type in the
typelist, convert a f xs to f (CasesResults c xs)
Methods
afmap :: c xs -> f xs -> f (CaseResults c xs) Source #
Instances
| AFunctor Many_ c as => AFunctor Many c as Source # | Given a |
Defined in Data.Diverse.Many.Internal | |
| AFunctor Which c ('[] :: [Type]) Source # | Terminating AFunctor instance for empty type list |
Defined in Data.Diverse.Which.Internal | |
| (Reiterate c (a ': as), AFunctor Which c as, Case c (a ': as)) => AFunctor Which c (a ': as) Source # | 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 | |