Control.Monad.Freer.Extras.State
use :: Member ( State s) effs => Getting a s a -> Eff effs a Source #
assign :: Member ( State s) effs => ASetter s s a b -> b -> Eff effs () Source #
modifying :: Member ( State s) effs => ASetter s s a b -> (a -> b) -> Eff effs () Source #