Control.Inventory.Store

Documentation

newtype Store (s :: *) (g :: * -> *) (a :: *)

Constructors

Store

Fields

• store :: Product s (g (Straight s a))

Instances

Covariant g => Covariant (Store s g)

Defined in Control.Inventory.Store

Methods

(<$>) :: (a -> b) -> Store s g a -> Store s g b

comap :: (a -> b) -> Store s g a -> Store s g b

(<$) :: a -> Store s g b -> Store s g a

($>) :: Store s g a -> b -> Store s g b

void :: Store s g a -> Store s g ()

Extractable g => Extractable (Store s g)

Defined in Control.Inventory.Store

Methods

extract :: Store s g a -> a

Extendable g => Extendable (Store s g)

Defined in Control.Inventory.Store

Methods

(=>>) :: Store s g a -> (Store s g a -> b) -> Store s g b

(<<=) :: (Store s g a -> b) -> Store s g a -> Store s g b

extend :: (Store s g a -> b) -> Store s g a -> Store s g b

duplicate :: Store s g a -> (Store s g :.: Store s g) a

(=<=) :: (Store s g b -> c) -> (Store s g a -> b) -> Store s g a -> c

(=>=) :: (Store s g a -> b) -> (Store s g b -> c) -> Store s g a -> c

Comonad g => Comonad (Store s g)

Defined in Control.Inventory.Store