view :: Has (Reader r) sig m => Getter r a -> m a Source #

views :: Has (Reader r) sig m => Getter r a -> (a -> b) -> m b Source #

use :: Has (State s) sig m => Getter s a -> m a Source #

uses :: Has (State s) sig m => Getter s a -> (a -> b) -> m b Source #

assign :: Has (State s) sig m => Setter s s a b -> b -> m () Source #

modifying :: Has (State s) sig m => Setter s s a b -> (a -> b) -> m () Source #

(.=) :: Has (State s) sig m => Setter s s a b -> b -> m () infix 4 Source #

(%=) :: Has (State s) sig m => Setter s s a b -> (a -> b) -> m () infix 4 Source #

(?=) :: Has (State s) sig m => Setter s s a (Maybe b) -> b -> m () infix 4 Source #

(<~) :: Has (State s) sig m => Setter s s a b -> m b -> m () infixr 2 Source #

(+=) :: (Has (State s) sig m, Num a) => Setter s s a a -> a -> m () infix 4 Source #

(-=) :: (Has (State s) sig m, Num a) => Setter s s a a -> a -> m () infix 4 Source #

(*=) :: (Has (State s) sig m, Num a) => Setter s s a a -> a -> m () infix 4 Source #

(//=) :: (Has (State s) sig m, Fractional a) => Setter s s a a -> a -> m () infix 4 Source #