Pandora.Paradigm.Inventory.Some.Equipment

Documentation

newtype Equipment e a

Constructors

Equipment (e :*: a)

Instances

Gettable Equipment

Defined in Pandora.Paradigm.Inventory.Some.Equipment

Associated Types

type Getting Equipment e r

Methods

get :: Getting Equipment e r

Extendable ((->) :: Type -> Type -> Type) (Equipment e)

Defined in Pandora.Paradigm.Inventory.Some.Equipment

Methods

(<<=) :: (Equipment e a -> b) -> Equipment e a -> Equipment e b

(<<==) :: (Equipment e a -> b) -> Equipment e a -> Equipment e b

(<<===) :: (Equipment e a -> b) -> Equipment e a -> Equipment e b

(<<====) :: (Equipment e a -> b) -> Equipment e a -> Equipment e b

(<<=====) :: (Equipment e a -> b) -> Equipment e a -> Equipment e b

(<<======) :: (Equipment e a -> b) -> Equipment e a -> Equipment e b

(<<=======) :: (Equipment e a -> b) -> Equipment e a -> Equipment e b

(<<========) :: (Equipment e a -> b) -> Equipment e a -> Equipment e b

Interpreted ((->) :: Type -> Type -> Type) (Equipment e)

Defined in Pandora.Paradigm.Inventory.Some.Equipment

Associated Types

type Primary (Equipment e) a

Methods

run :: ((->) < Equipment e a) < Primary (Equipment e) a

unite :: ((->) < Primary (Equipment e) a) < Equipment e a

(<~~~~~~~~) :: ((->) < Equipment e a) < Primary (Equipment e) a

(<~~~~~~~) :: ((->) < Equipment e a) < Primary (Equipment e) a

(<~~~~~~) :: ((->) < Equipment e a) < Primary (Equipment e) a

(<~~~~~) :: ((->) < Equipment e a) < Primary (Equipment e) a

(<~~~~) :: ((->) < Equipment e a) < Primary (Equipment e) a

(<~~~) :: ((->) < Equipment e a) < Primary (Equipment e) a

(<~~) :: ((->) < Equipment e a) < Primary (Equipment e) a

(<~) :: ((->) < Equipment e a) < Primary (Equipment e) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Equipment e) a) < Primary u b) -> ((->) < Equipment e a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Equipment e a) < u b) -> ((->) < Primary (Equipment e) a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Equipment e) a) < Primary u b) -> (j > Equipment e a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Equipment e a) < u b) -> (j > Primary (Equipment e) a) -> (j > Primary u b)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Equipment e)

Defined in Pandora.Paradigm.Inventory.Some.Equipment

Methods

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

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

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

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

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

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

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

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

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u a) -> Equipment e (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u a) -> Equipment e (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u a) -> Equipment e (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u a) -> Equipment e (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u a) -> Equipment e (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u a) -> Equipment e (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u a) -> Equipment e (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u (v a)) -> Equipment e (u (v b))

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Equipment e)

Defined in Pandora.Paradigm.Inventory.Some.Equipment

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Equipment e a -> u (Equipment e b)

(<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Equipment e a -> u (Equipment e b)

(<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Equipment e a -> u (Equipment e b)

(<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Equipment e a -> u (Equipment e b)

(<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Equipment e a -> u (Equipment e b)

(<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Equipment e a -> u (Equipment e b)

(<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Equipment e a -> u (Equipment e b)

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

Defined in Pandora.Paradigm.Inventory

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Schematic Comonad (Equipment e)

Defined in Pandora.Paradigm.Inventory.Some.Equipment

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

type Primary (Equipment e) a

Defined in Pandora.Paradigm.Inventory.Some.Equipment

type Primary (Equipment e) a = e :*: a

type Getting Equipment e output

Defined in Pandora.Paradigm.Inventory.Some.Equipment

type Getting Equipment e output = Equipment e output -> e

retrieve :: Equipped e t => t a -> e

Orphan instances

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

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