morphisms-functors-0.1.2: Functors, theirs compositions and transformations

Safe HaskellSafe
LanguageHaskell2010

Control.Functor.Composition

Documentation

type (:.:) t u a = (Covariant t, Covariant u) => t (u a) infixr 0 Source #

type (:.%) t u a = (Covariant t, Contravariant u) => t (u a) infixr 0 Source #

type (%.:) t u a = (Contravariant t, Covariant u) => t (u a) infixr 0 Source #

type (%.%) t u a = (Contravariant t, Contravariant u) => t (u a) infixr 0 Source #