I am slightly freaked out by the `Lens`es provided by `Pipes.Parse` being
'improper'. Could they not be `Getter`s instead?
type Splitter a m = forall x. Getter (Producer a m x) (Producer a m
(Producer a m x))
-- Should have " join . view sp == id " for any sp :: Splitter a
m and p :: Producer a m r
span :: Monad m => (a -> Bool) -> Splitter a m
splitAt :: Monad m => Int -> Splitter a m
groupBy :: Monad m => (a -> a -> Bool) -> Splitter a m
group :: (Monad m, Eq a) => Splitter a m
-- would replace `zoom`
split :: Splitter a m -> Parser a m r -> Parser a m r
split sp st = StateT $ \p -> fmap (fmap join) (runStateT st (p^.sp))
This means that users would sometimes have to use `zoom` and sometimes have
to use `split`, which might be annoying. But it feels better than having
fake `Lens`es somehow.
--
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.
