Serokell.Util.Lens

Extra operators on Lens

Documentation

(%%=) :: Lens' s a -> State a b -> State s b infix 4

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

Like %%= but with possiblity of failure

class Monad m => WrappedM m where

Similar to Wrapped, but for Monads.

Associated Types

type UnwrappedM m :: * -> *

Methods

_WrappedM :: Iso' (m a) (UnwrappedM m a)

Instances

Monad m => WrappedM (LoggerNameBox m)

Associated Types

type UnwrappedM (LoggerNameBox m :: * -> *) :: * -> *

Methods

_WrappedM :: (Profunctor p, Functor f) => p (UnwrappedM (LoggerNameBox m) a) (f (UnwrappedM (LoggerNameBox m) a)) -> p (LoggerNameBox m a) (f (LoggerNameBox m a))

_UnwrappedM :: WrappedM m => Iso' (UnwrappedM m a) (m a)