Unfortunately, `SafeT` cannot implement `MFunctor` because the first
type parameter is also the type of the stored finalizers. In this
particular case if the finalizers were of type `MaybeT IO` then one of
the finalizers could short-circuit and prevent the other ones from being
run.
On 05/07/2015 01:00 AM, Charles O'Farrell wrote:
Sorry for the noob question. Was wondering if there's a way to do the
following transformation:
SafeT IO a -> SafeT (MaybeT IO) a
And in particular is there any reason not to have an MFunctor for SafeT?
--
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
<mailto:haskell-pipes+unsubscr...@googlegroups.com>.
To post to this group, send email to haskell-pipes@googlegroups.com
<mailto:haskell-pipes@googlegroups.com>.
--
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.
