| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Serokell.Util.Lens
Description
Extra operators on Lens
Documentation
(%%=) :: Lens' s a -> State a b -> State s b infix 4 Source #
Similar to %= operator, but takes State action instead of (a -> a)
(%?=) :: Lens' s a -> ExceptT t (State a) b -> ExceptT t (State s) b infix 4 Source #
Like %%= but with possiblity of failure
class Monad m => WrappedM m where Source #
Similar to Wrapped, but for Monads.
Associated Types
type UnwrappedM m :: * -> * Source #
Methods
_WrappedM :: Iso' (m a) (UnwrappedM m a) Source #
_UnwrappedM :: WrappedM m => Iso' (UnwrappedM m a) (m a) Source #