Additional types of lenses for Monad / MonadPlus / etc?

So, Functor makes the logical data stream 1-1 - a Lens . Applicative creates an n-1 logical data stream - a Traversal . Applicative at Choice Profunctor creates a โ€œbreak upโ€ mechanism - a Prism .

Are there any interesting structures containing the capabilities of Monad , MonadPlus , etc. or some other subsets of Profunctors ?

+5
source share

Source: https://habr.com/ru/post/1239685/


All Articles