Pandora.Paradigm.Inventory.Equipment

Documentation

newtype Equipment e a

Constructors

Equipment (e :*: a)

Instances

Interpreted (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

Associated Types

type Primary (Equipment e) a :: Type

Methods

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

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

Extractable (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

extract :: a <-| Equipment e

Comonad (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

Comonadic (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

flick :: Covariant u => (Equipment e :< u) ~> u

bring :: Extractable u => (Equipment e :< u) ~> Equipment e

type Schematic Comonad (Equipment e) u

Defined in Pandora.Paradigm.Inventory.Equipment

type Schematic Comonad (Equipment e) u = TU Covariant Covariant ((:*:) e) u

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

Covariant u => Covariant (TU Covariant Covariant ((:*:) e) u)

Methods

(<$>) :: (a -> b) -> TU Covariant Covariant ((:*:) e) u a -> TU Covariant Covariant ((:*:) e) u b

comap :: (a -> b) -> TU Covariant Covariant ((:*:) e) u a -> TU Covariant Covariant ((:*:) e) u b

(<$) :: a -> TU Covariant Covariant ((:*:) e) u b -> TU Covariant Covariant ((:*:) e) u a

($>) :: TU Covariant Covariant ((:*:) e) u a -> b -> TU Covariant Covariant ((:*:) e) u b

void :: TU Covariant Covariant ((:*:) e) u a -> TU Covariant Covariant ((:*:) e) u ()

loeb :: TU Covariant Covariant ((:*:) e) u (a <-| TU Covariant Covariant ((:*:) e) u) -> TU Covariant Covariant ((:*:) e) u a

(<&>) :: TU Covariant Covariant ((:*:) e) u a -> (a -> b) -> TU Covariant Covariant ((:*:) e) u b

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

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

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

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

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

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

Extendable u => Extendable (TU Covariant Covariant ((:*:) e) u)

Methods

(=>>) :: TU Covariant Covariant ((:*:) e) u a -> (TU Covariant Covariant ((:*:) e) u a -> b) -> TU Covariant Covariant ((:*:) e) u b

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

extend :: (TU Covariant Covariant ((:*:) e) u a -> b) -> TU Covariant Covariant ((:*:) e) u a -> TU Covariant Covariant ((:*:) e) u b

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

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

(=>=) :: (TU Covariant Covariant ((:*:) e) u a -> b) -> (TU Covariant Covariant ((:*:) e) u b -> c) -> TU Covariant Covariant ((:*:) e) u a -> c

Extractable u => Extractable (TU Covariant Covariant ((:*:) e) u)

Methods

extract :: a <-| TU Covariant Covariant ((:*:) e) u