pandora-0.2.5: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Inventory.Equipment

Contents

Documentation

newtype Equipment e a Source #

Constructors

Equipment (e :*: a) 
Instances
Interpreted (Equipment e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Equipment

Associated Types

type Primary (Equipment e) a :: Type Source #

Methods

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

Covariant (Equipment e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

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

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

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

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

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

loeb :: Equipment e (a <-| Equipment e) -> Equipment e a Source #

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

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

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

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

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

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

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

Extendable (Equipment e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

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

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

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

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

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

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

Extractable (Equipment e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

extract :: a <-| Equipment e Source #

Comonad (Equipment e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Equipment

Comonadic (Equipment e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Equipment

type Schematic Comonad (Equipment e) u Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Equipment

type Primary (Equipment e) a Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Equipment

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

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

Orphan instances

Covariant u => Covariant (TU Covariant Covariant ((:*:) e) u) Source # 
Instance details

Methods

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

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

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

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

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

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

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

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

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

(<$$$$>) :: (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 Source #

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

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

(<&&&&>) :: (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 Source #

Extendable u => Extendable (TU Covariant Covariant ((:*:) e) u) Source # 
Instance details

Extractable u => Extractable (TU Covariant Covariant ((:*:) e) u) Source # 
Instance details