Pandora.Pattern.Functor

Documentation

module Pandora.Pattern.Functor.Covariant

module Pandora.Pattern.Functor.Contravariant

module Pandora.Pattern.Functor.Invariant

module Pandora.Pattern.Functor.Semimonoidal

module Pandora.Pattern.Functor.Pointable

module Pandora.Pattern.Functor.Extractable

module Pandora.Pattern.Functor.Traversable

module Pandora.Pattern.Functor.Distributive

module Pandora.Pattern.Functor.Bindable

module Pandora.Pattern.Functor.Extendable

module Pandora.Pattern.Functor.Adjoint

module Pandora.Pattern.Functor.Representable

module Pandora.Pattern.Functor.Monad

module Pandora.Pattern.Functor.Comonad

module Pandora.Pattern.Functor.Divariant

module Pandora.Pattern.Functor.Bivariant

type family Endofunctor constraint functor category where ...

Equations

Endofunctor Covariant t category = Covariant t category category

Endofunctor Contravariant t category = Contravariant t category category

Endofunctor Traversable t category = Traversable t category category

Endofunctor Distributive t category = Distributive t category category