Yield

import Control.Monad.Yield

action1 :: MonadYield Char m => m Char
action1 = do
  yield 'a'
  yield 'b'
  pure 'c'

action2 :: forall m. Monad m => m (String, Char)
action2 = runYieldT listAggregation action1
-- returns ("ab", 'c')

---

LICENSE | CHANGELOG