morphisms-functors-inventory-0.1.0: Inventory is state and store

 Covariant g => Covariant (State s g) Source # Instance detailsDefined in Control.Inventory.State Methods(<$>) :: (a -> b) -> State s g a -> State s g bcomap :: (a -> b) -> State s g a -> State s g b(<$) :: a -> State s g b -> State s g a(\$>) :: State s g a -> b -> State s g bvoid :: State s g a -> State s g () Pointable g => Pointable (State s g) Source # Instance detailsDefined in Control.Inventory.State Methodspoint :: a -> State s g a Monad g => Applicative (State s g) Source # Instance detailsDefined in Control.Inventory.State Methods(<*>) :: State s g (a -> b) -> State s g a -> State s g bapply :: State s g (a -> b) -> State s g a -> State s g b(*>) :: State s g a -> State s g b -> State s g b(<*) :: State s g a -> State s g b -> State s g aforever :: State s g a -> State s g b Bindable g => Bindable (State s g) Source # Instance detailsDefined in Control.Inventory.State Methods(>>=) :: State s g a -> (a -> State s g b) -> State s g b(=<<) :: (a -> State s g b) -> State s g a -> State s g bbind :: (a -> State s g b) -> State s g a -> State s g bjoin :: (State s g :.: State s g) a -> State s g a(>=>) :: (a -> State s g b) -> (b -> State s g c) -> a -> State s g c(<=<) :: (b -> State s g c) -> (a -> State s g b) -> a -> State s g c Monad g => Monad (State s g) Source # Instance detailsDefined in Control.Inventory.State