Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- class AFunctor f c xs where
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)
afmap :: c xs -> f xs -> f (CaseResults c xs) Source #
AFunctor Many_ c as => AFunctor Many c as Source # | Given a |
AFunctor Which c ([] *) Source # | Terminating AFunctor instance for empty type list |
(Reiterate c ((:) Type a as), AFunctor Which c as, Case c ((:) Type a as)) => AFunctor Which c ((:) Type 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 |