Data.Functor.Barbie.Layered

Documentation

class FunctorB b where

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

Instances

FunctorB (Void :: (Type -> Type) -> Type)

Defined in Data.Functor.Barbie.Layered

Methods

bmap :: (Functor f, Functor g) => (forall a. f a -> g a) -> Void f -> Void g

FunctorB (Unit :: (Type -> Type) -> Type)

Defined in Data.Functor.Barbie.Layered

Methods

bmap :: (Functor f, Functor g) => (forall a. f a -> g a) -> Unit f -> Unit g

FunctorB (Proxy :: (Type -> Type) -> Type)

Defined in Data.Functor.Barbie.Layered

Methods

bmap :: (Functor f, Functor g) => (forall a. f a -> g a) -> Proxy f -> Proxy g

FunctorB (Const a :: (Type -> Type) -> Type)

Defined in Data.Functor.Barbie.Layered

Methods

bmap :: (Functor f, Functor g) => (forall a0. f a0 -> g a0) -> Const a f -> Const a g

FunctorB (Constant a :: (Type -> Type) -> Type)

Defined in Data.Functor.Barbie.Layered

Methods

bmap :: (Functor f, Functor g) => (forall a0. f a0 -> g a0) -> Constant a f -> Constant a g

(FunctorB a, FunctorB b) => FunctorB (Product a b)

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

(FunctorB a, FunctorB b) => FunctorB (Sum a b)

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

(Functor f, FunctorB b) => FunctorB (Compose f b)

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