Safe Haskell | None |
---|---|
Language | Haskell2010 |
Control.Effect.Lens
Description
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 ()
- (.=) :: 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 -> (a -> 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 ()
Documentation
modifying :: forall s a b sig m. Has (State s) sig m => ASetter s s a b -> (a -> b) -> m () Source #
(%=) :: forall s a b sig m. Has (State s) sig m => ASetter s s a b -> (a -> b) -> m () infix 4 Source #
(+=) :: 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 #