Pandora.Paradigm.Inventory.Equipment

Documentation

newtype Equipment e a

Constructors

Equipment (e :*: a)

Instances

Covariant (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

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

comap :: (a -> b) -> Equipment e a -> Equipment e b

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

($>) :: Equipment e a -> b -> Equipment e b

void :: Equipment e a -> Equipment e ()

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

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

(<$$>) :: Covariant u => (a -> b) -> ((Equipment e :. u) := a) -> (Equipment e :. u) := b

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> ((Equipment e :. (u :. v)) := a) -> (Equipment e :. (u :. v)) := b

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> ((Equipment e :. (u :. (v :. w))) := a) -> (Equipment e :. (u :. (v :. w))) := b

(<&&>) :: Covariant u => ((Equipment e :. u) := a) -> (a -> b) -> (Equipment e :. u) := b

(<&&&>) :: (Covariant u, Covariant v) => ((Equipment e :. (u :. v)) := a) -> (a -> b) -> (Equipment e :. (u :. v)) := b

(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Equipment e :. (u :. (v :. w))) := a) -> (a -> b) -> (Equipment e :. (u :. (v :. w))) := b

Extendable (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

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

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

extend :: (Equipment e a -> b) -> Equipment e a -> Equipment e b

duplicate :: Equipment e a -> (Equipment e :. Equipment e) := a

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

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

($=>>) :: Covariant u => ((u :. Equipment e) := a) -> (Equipment e a -> b) -> (u :. Equipment e) := b

(<<=$) :: Covariant u => ((u :. Equipment e) := a) -> (Equipment e a -> b) -> (u :. Equipment e) := b

Extractable (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

extract :: a <:= Equipment e

Comonad (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

Traversable (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

(->>) :: (Pointable u, Applicative u) => Equipment e a -> (a -> u b) -> (u :. Equipment e) := b

traverse :: (Pointable u, Applicative u) => (a -> u b) -> Equipment e a -> (u :. Equipment e) := b

sequence :: (Pointable u, Applicative u) => ((Equipment e :. u) := a) -> (u :. Equipment e) := a

(->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Equipment e) := a) -> (a -> u b) -> (u :. (v :. Equipment e)) := b

(->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Equipment e)) := a) -> (a -> u b) -> (u :. (w :. (v :. Equipment e))) := b

(->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Equipment e))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Equipment e)))) := b

Interpreted (Equipment e)

Defined in Pandora.Paradigm.Inventory.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

(||=) :: Interpreted u => (Primary (Equipment e) a -> Primary u b) -> Equipment e a -> u b

(=||) :: Interpreted u => (Equipment e a -> u b) -> Primary (Equipment e) a -> Primary u b

Comonadic (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

bring :: forall (u :: Type -> Type). Extractable u => (Equipment e :< u) ~> Equipment e

Adjoint (Equipment e) (Environment e)

Defined in Pandora.Paradigm.Inventory

Methods

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

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

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

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

eta :: a -> (Environment e :. Equipment e) := a

epsilon :: ((Equipment e :. Environment e) := a) -> a

(-|$) :: Covariant v => v a -> (Equipment e a -> b) -> v (Environment e b)

($|-) :: Covariant v => v (Equipment e a) -> (a -> Environment e b) -> v b

($$|-) :: (Covariant v, Covariant w) => ((v :. (w :. Equipment e)) := a) -> (a -> Environment e b) -> (v :. w) := b

($$$|-) :: (Covariant v, Covariant w, Covariant x) => ((v :. (w :. (x :. Equipment e))) := a) -> (a -> Environment e b) -> (v :. (w :. x)) := b

($$$$|-) :: (Covariant v, Covariant w, Covariant x, Covariant y) => ((v :. (w :. (x :. (y :. Equipment e)))) := a) -> (a -> Environment e b) -> (v :. (w :. (x :. y))) := b

type Schematic Comonad (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

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

type Primary (Equipment e) a

Defined in Pandora.Paradigm.Inventory.Equipment

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

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

Orphan instances

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

Methods

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

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

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

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

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

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

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

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