Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class FunctorB b where
- class GFunctorB b
- gbmapDefault :: CanDeriveGenericInstance b => (forall a. f a -> g a) -> b f -> b g
- type CanDeriveGenericInstance b = (Generic (b (Target F)), Generic (b (Target G)), GFunctorB (Rep (b (Target F))), Rep (b (Target G)) ~ Repl (Target F) (Target G) (Rep (b (Target F))))
Documentation
class FunctorB b where Source #
Barbie-types that can be mapped over. Instances of FunctorB
should
satisfy the following laws:
bmap
id
=id
bmap
f .bmap
g =bmap
(f . g)
There is a default bmap
implementation for Generic
types, so
instances can derived automatically.
gbmap
GFunctorB (V1 *) Source # | |
GFunctorB (U1 *) Source # | |
(~) (* -> *) (K1 * i c) (Repl (Target F) (Target G) (K1 * i c)) => GFunctorB (K1 * i c) Source # | |
(GFunctorB l, GFunctorB r) => GFunctorB ((:+:) * l r) Source # | |
(GFunctorB l, GFunctorB r) => GFunctorB ((:*:) * l r) Source # | |
GFunctorB x => GFunctorB (M1 * i c x) Source # | |
gbmapDefault :: CanDeriveGenericInstance b => (forall a. f a -> g a) -> b f -> b g Source #