Pandora.Pattern.Functor

Documentation

module Pandora.Pattern.Functor.Covariant

module Pandora.Pattern.Functor.Contravariant

module Pandora.Pattern.Functor.Invariant

module Pandora.Pattern.Functor.Alternative

module Pandora.Pattern.Functor.Applicative

module Pandora.Pattern.Functor.Avoidable

module Pandora.Pattern.Functor.Pointable

module Pandora.Pattern.Functor.Extractable

module Pandora.Pattern.Functor.Determinable

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

(<*+>) :: (Applicative t, Alternative u) => ((t :. u) := a) -> ((t :. u) := a) -> (t :. u) := a

(<**+>) :: (Applicative t, Applicative u, Alternative v) => ((t :. (u :. v)) := a) -> ((t :. (u :. v)) := a) -> (t :. (u :. v)) := a

(<***+>) :: (Applicative t, Applicative u, Applicative v, Alternative w) => ((t :. (u :. (v :. w))) := a) -> ((t :. (u :. (v :. w))) := a) -> (t :. (u :. (v :. w))) := a