Pandora.Paradigm.Schemes

Documentation

module Pandora.Paradigm.Schemes.TT

module Pandora.Paradigm.Schemes.TU

module Pandora.Paradigm.Schemes.TUT

module Pandora.Paradigm.Schemes.TUVW

module Pandora.Paradigm.Schemes.UT

module Pandora.Paradigm.Schemes.UTU

module Pandora.Paradigm.Schemes.T_U

module Pandora.Paradigm.Schemes.U_T

module Pandora.Paradigm.Schemes.PTU

module Pandora.Paradigm.Schemes.P_T

module Pandora.Paradigm.Schemes.P_Q_T

module Pandora.Paradigm.Schemes.PQ_

type family Schematic (c :: (* -> * -> *) -> (* -> *) -> k) (t :: * -> *) = (r :: (* -> *) -> * -> *) | r -> t

Instances

type Schematic Monad Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

type Schematic Monad Maybe = (<.:>) Maybe

type Schematic Monad (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

type Schematic Monad (Conclusion e) = (<.:>) (Conclusion e)

type Schematic Monad (State s)

Defined in Pandora.Paradigm.Inventory.Some.State

type Schematic Monad (State s) = ((->) s :: Type -> Type) <:<.>:> (:*:) s

type Schematic Monad (Provision e)

Defined in Pandora.Paradigm.Inventory.Some.Provision

type Schematic Monad (Provision e) = (<:.>) ((->) e :: Type -> Type)

type Schematic Monad (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Some.Accumulator

type Schematic Monad (Accumulator e) = (<.:>) ((:*:) e)

type Schematic Comonad (Store s)

Defined in Pandora.Paradigm.Inventory.Some.Store

type Schematic Comonad (Store s) = (:*:) s <:<.>:> ((->) s :: Type -> Type)

type Schematic Comonad (Imprint e)

Defined in Pandora.Paradigm.Inventory.Some.Imprint

type Schematic Comonad (Imprint e) = (<.:>) ((->) e :: Type -> Type)

type Schematic Comonad (Equipment e)

Defined in Pandora.Paradigm.Inventory.Some.Equipment

type Schematic Comonad (Equipment e) = (<:.>) ((:*:) e)

Orphan instances

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

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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