Safe Haskell	None
Language	Haskell2010

Data.Functor.Barbie.Layered

Synopsis

class FunctorB b where
- bmap :: forall f g. (Functor f, Functor g) => (forall a. f a -> g a) -> b f -> b g

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)

Methods

bmap :: forall f g. (Functor f, Functor g) => (forall a. f a -> g a) -> b f -> b g Source #

Instances

Instances details

FunctorB (Void :: (Type -> Type) -> Type) Source #
Instance details Defined in Data.Functor.Barbie.Layered Methods bmap :: (Functor f, Functor g) => (forall a. f a -> g a) -> Void f -> Void g Source #
FunctorB (Unit :: (Type -> Type) -> Type) Source #
Instance details Defined in Data.Functor.Barbie.Layered Methods bmap :: (Functor f, Functor g) => (forall a. f a -> g a) -> Unit f -> Unit g Source #
FunctorB (Proxy :: (Type -> Type) -> Type) Source #
Instance details Defined in Data.Functor.Barbie.Layered Methods bmap :: (Functor f, Functor g) => (forall a. f a -> g a) -> Proxy f -> Proxy g Source #
FunctorB (Const a :: (Type -> Type) -> Type) Source #
Instance details Defined in Data.Functor.Barbie.Layered Methods bmap :: (Functor f, Functor g) => (forall a0. f a0 -> g a0) -> Const a f -> Const a g Source #
FunctorB (Constant a :: (Type -> Type) -> Type) Source #
Instance details Defined in Data.Functor.Barbie.Layered Methods bmap :: (Functor f, Functor g) => (forall a0. f a0 -> g a0) -> Constant a f -> Constant a g Source #
(FunctorB a, FunctorB b) => FunctorB (Product a b) Source #
Instance details Defined in Data.Functor.Barbie.Layered Methods bmap :: (Functor f, Functor g) => (forall a0. f a0 -> g a0) -> Product a b f -> Product a b g Source #
(FunctorB a, FunctorB b) => FunctorB (Sum a b) Source #
Instance details Defined in Data.Functor.Barbie.Layered Methods bmap :: (Functor f, Functor g) => (forall a0. f a0 -> g a0) -> Sum a b f -> Sum a b g Source #
(Functor f, FunctorB b) => FunctorB (Compose f b) Source #
Instance details Defined in Data.Functor.Barbie.Layered Methods bmap :: (Functor f0, Functor g) => (forall a. f0 a -> g a) -> Compose f b f0 -> Compose f b g Source #