On Thu, Aug 25, 2011 at 3:46 AM, John Lato jwl...@gmail.com wrote:
Message: 17
Date: Wed, 24 Aug 2011 17:02:49 +0300
From: Michael Snoyman mich...@snoyman.com
Subject: [Haskell-cafe] Lifting an enumerator
To: Haskell Cafe haskell-cafe@haskell.org
Cc: John Millikin jmilli...@gmail.com
Hi all,
Max asked earlier[1] how to create a new instance of a class in
Persistent using a monad transformer. Without getting into the
specific details of persistent, I wanted to pose a question based on a
much more general question: how can we lift the inner monad of an
enumerator? We can easily
On 08/24/2011 09:02 AM, Michael Snoyman wrote:
Hi all,
Max asked earlier[1] how to create a new instance of a class in
Persistent using a monad transformer. Without getting into the
specific details of persistent, I wanted to pose a question based on a
much more general question: how can we
The type signature
liftEnum :: (Monad m, MonadTrans t) = Enumerator a m b -
Enumerator a (t m) b
expands to:
liftEnum :: (Monad m, MonadTrans t) = (Step a m b - Iteratee a m
b) - Step a (t m) b - Iteratee a (t m) b
So you could implement it iff you can define:
lower :: (Monad m,
Actually, I'm looking for a slightly different type signature. Look at
how I've implemented the special case of ErrorT:
liftEnum :: Enumerator In IO (Either OcrError Out)
- Enumerator In (ErrorT OcrError IO) Out
There's a slightly different value for b, which is what keeps track
of the
Message: 17
Date: Wed, 24 Aug 2011 17:02:49 +0300
From: Michael Snoyman mich...@snoyman.com
Subject: [Haskell-cafe] Lifting an enumerator
To: Haskell Cafe haskell-cafe@haskell.org
Cc: John Millikin jmilli...@gmail.com
Message-ID:
caka2jgkf0dn4n8ge1_q-zemlzm93bwg_fjmtbazgzrc2gqn