Pandora.Pattern.Functor.Adjoint

Documentation

type (-|) = Adjoint infixl 3

class (Covariant t target source, Covariant u source target) => Adjoint t u source target where

When providing a new instance, you should ensure it satisfies:
* Left adjunction identity: phi cozero ≡ identity
* Right adjunction identity: psi zero ≡ identity
* Left adjunction interchange: phi f ≡ comap f . eta
* Right adjunction interchange: psi f ≡ epsilon . comap f

Methods

(-|) :: source (t a) b -> target a (u b) infixl 3

(|-) :: target a (u b) -> source (t a) b infixl 3

Instances

Adjoint Identity Identity ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

(-|) :: (Identity a -> b) -> a -> Identity b

(|-) :: (a -> Identity b) -> Identity a -> b

(Extractable t ((->) :: Type -> Type -> Type), Pointable t ((->) :: Type -> Type -> Type), Extractable u ((->) :: Type -> Type -> Type), Pointable u ((->) :: Type -> Type -> Type)) => Adjoint (Yoneda t) (Yoneda u) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

(-|) :: (Yoneda t a -> b) -> a -> Yoneda u b

(|-) :: (a -> Yoneda u b) -> Yoneda t a -> b

Adjoint (Store s) (State s) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory

Methods

(-|) :: (Store s a -> b) -> a -> State s b

(|-) :: (a -> State s b) -> Store s a -> b

Adjoint (Equipment e) (Environment e) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory

Methods

(-|) :: (Equipment e a -> b) -> a -> Environment e b

(|-) :: (a -> Environment e b) -> Equipment e a -> b

Adjoint (Accumulator e) (Imprint e) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory

Methods

(-|) :: (Accumulator e a -> b) -> a -> Imprint e b

(|-) :: (a -> Imprint e b) -> Accumulator e a -> b

Adjoint ((:*:) s) ((->) s :: Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Algebraic

Methods

(-|) :: ((s :*: a) -> b) -> a -> (s -> b)

(|-) :: (a -> (s -> b)) -> (s :*: a) -> b

Adjoint (Flip (:*:) s) ((->) s :: Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary

Methods

(-|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

(|-) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(Covariant (t <.:> v) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Covariant (w <:.> u) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Adjoint v u ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Adjoint t w ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Adjoint (t <.:> v) (w <:.> u) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Schemes

Methods

(-|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b

(|-) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b

(Covariant (t <.:> v) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Covariant (w <.:> u) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Adjoint t u ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Adjoint v w ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Adjoint (t <.:> v) (w <.:> u) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Schemes

Methods

(-|) :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b

(|-) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b

(Covariant (v <:.> t) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Covariant (w <.:> u) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Adjoint t u ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Adjoint v w ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Adjoint (v <:.> t) (w <.:> u) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Schemes

Methods

(-|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b

(|-) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b

(Covariant (v <:.> t) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Covariant (u <:.> w) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Adjoint t u ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Adjoint v w ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Adjoint (v <:.> t) (u <:.> w) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Schemes

Methods

(-|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b

(|-) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b

(Covariant ((t <:<.>:> u) t') ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Covariant ((v <:<.>:> w) v') ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Adjoint t w ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Adjoint t' v' ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Adjoint t v ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Adjoint u v ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Adjoint v' t' ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Adjoint ((t <:<.>:> u) t') ((v <:<.>:> w) v') ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Schemes

Methods

(-|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b

(|-) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b