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

($=>>) :: Covariant u => (Equipment e a -> b) -> ((u :. Equipment e) := a) -> (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

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

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

type Schematic Comonad (Equipment e) u

Defined in Pandora.Paradigm.Inventory.Equipment

type Schematic Comonad (Equipment e) u = (:*:) 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 ((:*:) e <:.> u)

Methods

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

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

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

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

void :: ((:*:) e <:.> u) a -> ((:*:) e <:.> u) ()

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

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

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

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

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

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

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

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

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 => (((:*:) e <:.> u) a -> b) -> ((u0 :. ((:*:) e <:.> u)) := a) -> (u0 :. ((:*:) e <:.> u)) := b

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

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

Methods

extract :: a <-| ((:*:) e <:.> u)