Pandora.Paradigm.Schemes.TU

Documentation

newtype TU ct cu t u a

Constructors

TU ((t :. u) >>> a)

Instances

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (:*:) (:*:) t, Semimonoidal (-->) (:*:) (:+:) u, Monoidal (-->) (-->) (:*:) (:+:) t) => Monoidal (-->) (-->) (:*:) (:+:) (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

unit :: Proxy (:*:) -> (Unit (:+:) --> a) --> (t <:.> u) a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (:*:) (:*:) u, Monoidal (-->) (-->) (:*:) (:*:) t, Monoidal (-->) (-->) (:*:) (:*:) u) => Monoidal (-->) (-->) (:*:) (:*:) (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> (t <:.> u) a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (<--) (-->) (:*:) (:*:) t, Monoidal (<--) (-->) (:*:) (:*:) u) => Monoidal (<--) (-->) (:*:) (:*:) (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- (t <:.> u) a

(Semigroupoid m, Covariant m m t, Covariant (Betwixt m m) m t, Covariant m (Betwixt m m) u, Interpreted m (t <:.> u)) => Covariant m m (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

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

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

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

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

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

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

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

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

(<-|-|-) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b))

(<-|-|--) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b))

(<-|-|---) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b))

(<-|-|----) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b))

(<-|-|-----) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b))

(<-|-|------) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b))

(<-|-|-------) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b))

(<-|-|-|-) :: (Covariant m (Betwixt m (Betwixt m m)) v, Covariant (Betwixt m (Betwixt m m)) (Betwixt (Betwixt m m) m) u0, Covariant (Betwixt (Betwixt m m) m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 (v a))) ((t <:.> u) (u0 (v b)))

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (:*:) (:*:) t, Semimonoidal (-->) (:*:) (:+:) u) => Semimonoidal (-->) (:*:) (:+:) (t <:.> u :: Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

mult :: forall (a :: k) (b :: k). ((t <:.> u) a :*: (t <:.> u) b) --> (t <:.> u) (a :+: b)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t, Semimonoidal (-->) (:*:) (:*:) u) => Semimonoidal (-->) (:*:) (:*:) (t <:.> u :: Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

mult :: forall (a :: k) (b :: k). ((t <:.> u) a :*: (t <:.> u) b) --> (t <:.> u) (a :*: b)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) u) => Semimonoidal (<--) (:*:) (:*:) (t <:.> u :: Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

mult :: forall (a :: k) (b :: k). ((t <:.> u) a :*: (t <:.> u) b) <-- (t <:.> u) (a :*: b)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Hoistable ((->) :: Type -> Type -> Type) (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

(/|\) :: Covariant (->) (->) u => (forall a. u a -> v a) -> forall (a :: k). TU Covariant Covariant t u a -> TU Covariant Covariant t v a

(Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u) => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

(<-/-) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b)

(<-/-------) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b)

(<-/------) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b)

(<-/-----) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b)

(<-/----) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b)

(<-/---) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b)

(<-/--) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> 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) v u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t w) => Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <.:> v) (w <:.> u)

Defined in Pandora.Paradigm.Schemes

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)

Defined in Pandora.Paradigm.Schemes

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)

Defined in Pandora.Paradigm.Schemes

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

Extendable ((->) :: Type -> Type -> Type) u => Extendable ((->) :: Type -> Type -> Type) ((:*:) e <:.> u)

Defined in Pandora.Paradigm.Inventory.Some.Equipment

Methods

(<<=) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(<<==) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(<<===) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(<<====) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(<<=====) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(<<======) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(<<=======) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(<<========) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(Bindable ((->) :: Type -> Type -> Type) t, Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Bindable ((->) :: Type -> Type -> Type) u) => Bindable ((->) :: Type -> Type -> Type) (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

(=<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

(==<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

(===<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

(====<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

(=====<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

(======<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

(=======<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

Monoidal (-->) (-->) (:*:) (:*:) t => Liftable ((->) :: Type -> Type -> Type) (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

lift :: Covariant (->) (->) u => u a -> TU Covariant Covariant t u a

Monoidal (<--) (-->) (:*:) (:*:) t => Lowerable ((->) :: Type -> Type -> Type) (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

lower :: Covariant (->) (->) u => TU Covariant Covariant t u a -> u a

Interpreted ((->) :: Type -> Type -> Type) (TU ct cu t u)

Defined in Pandora.Paradigm.Schemes.TU

Associated Types

type Primary (TU ct cu t u) a

Methods

run :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

unite :: ((->) < Primary (TU ct cu t u) a) < TU ct cu t u a

(<~~~~~~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(<~~~~~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(<~~~~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(<~~~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(<~~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(<~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(<~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(<~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (TU ct cu t u) a) < Primary u0 b) -> ((->) < TU ct cu t u a) < u0 b

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < TU ct cu t u a) < u0 b) -> ((->) < Primary (TU ct cu t u) a) < Primary u0 b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (TU ct cu t u) a) < Primary u0 b) -> (j > TU ct cu t u a) -> (j > u0 b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < TU ct cu t u a) < u0 b) -> (j > Primary (TU ct cu t u) a) -> (j > Primary u0 b)

type Primary (TU ct cu t u) a

Defined in Pandora.Paradigm.Schemes.TU

type Primary (TU ct cu t u) a = (t :. u) >>> a

type (<:.>) = TU Covariant Covariant infixr 6

type (>:.>) = TU Contravariant Covariant infixr 6

type (<:.<) = TU Covariant Contravariant infixr 6

type (>:.<) = TU Contravariant Contravariant infixr 6