Control.Functor.Combinators.Of

Documentation

newtype Of f p a b

Constructors

Of

Fields

runOf :: f (p a b)

Instances

(Functor f, Symmetric Hask p) => Symmetric Hask (Of f p)

(Functor f, Braided Hask p) => Braided Hask (Of f p)

(Copointed f, PCopointed p) => PCopointed (Of f p)

(Pointed f, PPointed p) => PPointed (Of f p)

(Functor f, QFunctor p Hask Hask) => QFunctor (Of f p) Hask Hask

(Functor f, PFunctor p Hask Hask) => PFunctor (Of f p) Hask Hask

(Functor f, Bifunctor p Hask Hask Hask) => Bifunctor (Of f p) Hask Hask Hask

(Functor f, Functor (p a)) => Functor (Of f p a)

(Copointed f, Copointed (p a)) => Copointed (Of f p a)

(Pointed f, Pointed (p a)) => Pointed (Of f p a)

liftOf :: Functor f => (p a b -> p c d) -> Of f p a b -> Of f p c d