Pandora.Paradigm.Inventory.Storage

Documentation

newtype Storage p t a

Constructors

Storage

Fields

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

Instances

Covariant t => Covariant (Storage p t)

Defined in Pandora.Paradigm.Inventory.Storage

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Applicative t => Applicative (Storage p t)

Defined in Pandora.Paradigm.Inventory.Storage

Methods

(<*>) :: Storage p t (a -> b) -> Storage p t a -> Storage p t b

apply :: Storage p t (a -> b) -> Storage p t a -> Storage p t b

(*>) :: Storage p t a -> Storage p t b -> Storage p t b

(<*) :: Storage p t a -> Storage p t b -> Storage p t a

forever :: Storage p t a -> Storage p t b

Extendable t => Extendable (Storage p t)

Defined in Pandora.Paradigm.Inventory.Storage

Methods

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

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

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

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

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

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

Extractable t => Extractable (Storage p t)

Defined in Pandora.Paradigm.Inventory.Storage

Methods

extract :: Storage p t a -> a

Comonad g => Comonad (Storage p g)

Defined in Pandora.Paradigm.Inventory.Storage

type Store p = Storage p Identity

position :: Storage p t a -> p

access :: Extractable t => p -> Storage p t a -> a

retrofit :: Extractable t => (p -> p) -> Storage p t a -> Storage p t a