One more correction: it seems the type should be split :: (Monad m, Eq a) => a -> Lens' (Producer a m r) (FreeT (Producer a m) m r)
since the lens should reinsert the thing we split on. If we use a predicate, we don't know what it was. -- You received this message because you are subscribed to the Google Groups "Haskell Pipes" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-pipes+unsubscr...@googlegroups.com. To post to this group, send email to haskell-pipes@googlegroups.com.
