Pandora.Paradigm.Inventory.Storage

Documentation

newtype Storage p a

Constructors

Storage

Fields

• stored :: ((:*:) p :. (->) p) > a

Instances

Covariant (Storage p)

Defined in Pandora.Paradigm.Inventory.Storage

Methods

(<$>) :: (a -> b) -> Storage p a -> Storage p b

comap :: (a -> b) -> Storage p a -> Storage p b

(<$) :: a -> Storage p b -> Storage p a

($>) :: Storage p a -> b -> Storage p b

void :: Storage p a -> Storage p ()

loeb :: Storage p (Storage p a -> a) -> Storage p a

(<&>) :: Storage p a -> (a -> b) -> Storage p b

(<$$>) :: Covariant u => (a -> b) -> ((Storage p :. u) > a) -> (Storage p :. u) > b

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> ((Storage p :. (u :. v)) > a) -> (Storage p :. (u :. v)) > b

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

(<&&>) :: Covariant u => ((Storage p :. u) > a) -> (a -> b) -> (Storage p :. u) > b

(<&&&>) :: (Covariant u, Covariant v) => ((Storage p :. (u :. v)) > a) -> (a -> b) -> (Storage p :. (u :. v)) > b

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

Extendable (Storage p)

Defined in Pandora.Paradigm.Inventory.Storage

Methods

(=>>) :: Storage p a -> (Storage p a -> b) -> Storage p b

(<<=) :: (Storage p a -> b) -> Storage p a -> Storage p b

extend :: (Storage p a -> b) -> Storage p a -> Storage p b

duplicate :: Storage p a -> (Storage p :. Storage p) > a

(=<=) :: (Storage p b -> c) -> (Storage p a -> b) -> Storage p a -> c

(=>=) :: (Storage p a -> b) -> (Storage p b -> c) -> Storage p a -> c

Extractable (Storage p)

Defined in Pandora.Paradigm.Inventory.Storage

Methods

extract :: Storage p a -> a

Comonad (Storage p)

Defined in Pandora.Paradigm.Inventory.Storage

Adjoint (Storage s) (Stateful s)

Defined in Pandora.Paradigm.Inventory.Optics

Methods

(-|) :: a -> (Storage s a -> b) -> Stateful s b

(|-) :: Storage s a -> (a -> Stateful s b) -> b

phi :: (Storage s a -> b) -> a -> Stateful s b

psi :: (a -> Stateful s b) -> Storage s a -> b

eta :: a -> (Stateful s :. Storage s) > a

epsilon :: ((Storage s :. Stateful s) > a) -> a

position :: Storage p a -> p

access :: p -> Storage p a -> a

retrofit :: (p -> p) -> Storage p a -> Storage p a