Description
Adds monadic getters and folds to the Haskell lens ecosystem. This helps code inspect structures while the lookup or folding process also performs effects, reads context, or works inside a monad.
It is useful for advanced Haskell applications that combine optics with effectful computations. It is a developer library and has no standalone interface.