Control.Bifunctor.Functor

Documentation

module Control.Bifunctor.Monoidal

newtype FunctorB f p a b

Constructors

FunctorB

Fields

runFunctorB :: f (p a b)

Instances

(Functor f, Bifunctor p) => Bifunctor (FunctorB f p)

(Functor f, Symmetric p) => Symmetric (FunctorB f p)

(Functor f, Braided p) => Braided (FunctorB f p)

(Zip f, Bizip p) => Bizip (FunctorB f p)

(Functor f, Bifunctor p) => Functor (FunctorB f p a)

liftFunctorB :: Functor f => (p a b -> p c d) -> FunctorB f p a b -> FunctorB f p c d