Conal Elliott wrote:
For anyone interested in iteratees (etc) and not yet on the iteratees
mailing list.
I'm asking about what iteratees *mean* (denote), independent of the various
implementations. My original note (also at the end below):
In my world view, iteratees are just a monad M with a single operation
symbol :: M Char
that reads the next symbol from an input stream. In other words, they're
a very simple parser monad. The emphasis is not on parsing, but on the
fact that one and the same monadic value can be run on different streams
runHandle :: M a -> Handle -> IO a
runString :: M a -> String -> a
runByteString :: M a -> ByteString -> a
The monad M may also include convenience like exceptions and liftIO .
I have omitted the chunking [Char] because I don't like it; invariance
with respect to the chunk sizes is something that should be left to the
iteratee abstraction.
Regards,
Heinrich Apfelmus
--
http://apfelmus.nfshost.com
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
