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

position :: Storage p a -> p

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

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