Data.Profunctor.Composition

Documentation

data Compose f g d c where

Constructors

Compose :: f d a -> g a c -> Compose f g d c

Instances

(Profunctor f, Profunctor g) => Profunctor (Compose f g)

Profunctor g => Functor (Compose f g a)