Well, I already take back the first definition:
execU ma = for cat (\a -> lift ma >> yield a)
since the rewrite rule for `for` doesn't seem to cover it (p >-> for cat f)
http://hackage.haskell.org/package/pipes-4.1.0/docs/src/Pipes.html#for
The rewrite rules for `mapM` are exactly
right
http://hackage.haskell.org/package/pipes-4.1.0/docs/src/Pipes-Prelude.html#mapM
--
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 [email protected].
To post to this group, send email to [email protected].
