Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
newtype Storage p t a Source #
Instances
Covariant t => Covariant (Storage p t) Source # | |
Defined in Pandora.Paradigm.Inventory.Storage | |
Applicative t => Applicative (Storage p t) Source # | |
Defined in Pandora.Paradigm.Inventory.Storage | |
Extendable t => Extendable (Storage p t) Source # | |
Defined in Pandora.Paradigm.Inventory.Storage (=>>) :: 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 # | |
Defined in Pandora.Paradigm.Inventory.Storage | |
Comonad g => Comonad (Storage p g) Source # | |
Defined in Pandora.Paradigm.Inventory.Storage |
access :: Extractable t => p -> Storage p t a -> a Source #