Control.Inventory.State

Documentation

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

Constructors

State

Fields

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

Instances

Covariant g => Covariant (State s g)

Defined in Control.Inventory.State

Methods

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

comap :: (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 b

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

Pointable g => Pointable (State s g)

Defined in Control.Inventory.State

Methods

point :: a -> State s g a

Monad g => Applicative (State s g)

Defined in Control.Inventory.State

Methods

(<*>) :: State s g (a -> b) -> State s g a -> State s g b

apply :: 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 a

forever :: State s g a -> State s g b

Bindable g => Bindable (State s g)

Defined 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 b

bind :: (a -> State s g b) -> State s g a -> State s g b

join :: (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)

Defined in Control.Inventory.State