pandora-0.1.0: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Inventory.Storage

Documentation

newtype Storage p t a Source #

Constructors

Storage 

Fields

Instances
Covariant t => Covariant (Storage p t) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Storage

Methods

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

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

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

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

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

Applicative t => Applicative (Storage p t) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Storage

Methods

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

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

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

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

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

Extendable t => Extendable (Storage p t) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Storage

Methods

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

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

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

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

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

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

Extractable t => Extractable (Storage p t) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Storage

Methods

extract :: Storage p t a -> a Source #

Comonad g => Comonad (Storage p g) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Storage

position :: Storage p t a -> p Source #

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

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