Safe Haskell | None |
---|---|
Language | Haskell2010 |
Provides combinators for the lens-based manipulation of state and context types provided by the fused-effects library, similar to those provided for mtl-based monad transformers.
Synopsis
- view :: forall r a sig m. Has (Reader r) sig m => Getting a r a -> m a
- views :: forall s a b sig m. Has (Reader s) sig m => Getting a s a -> (a -> b) -> m b
- use :: forall s a sig m. Has (State s) sig m => Getting a s a -> m a
- uses :: forall s a b f sig. Has (State s) sig f => Getting a s a -> (a -> b) -> f b
- assign :: forall s a b sig m. Has (State s) sig m => ASetter s s a b -> b -> m ()
- modifying :: forall s a b sig m. Has (State s) sig m => ASetter s s a b -> (a -> b) -> m ()
- (.=) :: forall s a b sig m. Has (State s) sig m => ASetter s s a b -> b -> m ()
- (?=) :: forall s a b sig m. Has (State s) sig m => ASetter s s a (Maybe b) -> b -> m ()
- (%=) :: forall s a b sig m. Has (State s) sig m => ASetter s s a b -> (a -> b) -> m ()
- (<~) :: forall s a b sig m. Has (State s) sig m => ASetter s s a b -> m b -> m ()
- (+=) :: forall s a sig m. (Has (State s) sig m, Num a) => ASetter' s a -> a -> m ()
- (-=) :: forall s a sig m. (Has (State s) sig m, Num a) => ASetter' s a -> a -> m ()
- (*=) :: forall s a sig m. (Has (State s) sig m, Num a) => ASetter' s a -> a -> m ()
- (//=) :: forall s a sig m. (Has (State s) sig m, Fractional a) => ASetter' s a -> a -> m ()
Reader accessors
State getters/setters
modifying :: forall s a b sig m. Has (State s) sig m => ASetter s s a b -> (a -> b) -> m () Source #
Infix operators
(?=) :: forall s a b sig m. Has (State s) sig m => ASetter s s a (Maybe b) -> b -> m () infix 4 Source #
Replace the target of a Lens or all of the targets of a Setter
or
Traversal
in our monadic state with Just a new value, irrespective
of the old.
(%=) :: forall s a b sig m. Has (State s) sig m => ASetter s s a b -> (a -> b) -> m () infix 4 Source #
Mathematical operators
(+=) :: forall s a sig m. (Has (State s) sig m, Num a) => ASetter' s a -> a -> m () infix 4 Source #
(-=) :: forall s a sig m. (Has (State s) sig m, Num a) => ASetter' s a -> a -> m () infix 4 Source #