Malte Milatz wrote:
Sam Hughes [EMAIL PROTECTED], Sun, 12 Aug 2007 20:12:55 -0400:
[A parser like Parsec, with monad transformers:]
$ darcs get http://samuelhughes.com/darcs/partran/
Is this related in any way to the following GSoC project?
Hello Gregory,
Sunday, August 12, 2007, 9:32:04 AM, you wrote:
I've been struggling with writing a parser that needs to parse include
files within source files.
Parsec can't accomplish with without using unsafePerformIO because
it's monad is pure. it's algorithmically impossible to have any
Gregory Propf, Sat, 11 Aug 2007 13:06:43 -0700:
but the type of liftIO is baffling
class Monad m = MonadIO m where
liftIO :: IO a - m a
But how do you define this function? There is no constructor for IO a that
you can take apart.
If not using unsafePerformIO, which is usually not
- Original Message
From: Bulat Ziganshin [EMAIL PROTECTED]
To: Gregory Propf [EMAIL PROTECTED]
Cc: haskell-cafe@haskell.org
Sent: Saturday, August 11, 2007 11:33:00 PM
Subject: Re: Fw: [Haskell-cafe] IO within parser
Hello Gregory,
Sunday, August 12, 2007, 9:32:04 AM, you wrote:
I've been
Malte Milatz wrote:
If not using unsafePerformIO, which is usually not what we want, the
monad m in question must incorporate IO. That is, it could be defined
something like (say we want a parser with state):
newtype IOParser tok s a
= IOParser (s - [tok] - IO (s,a))
You
I've been struggling with writing a parser that needs to parse include files
within source files. So far I cannot get this to work (in reality to get work
done I wrote a kludge that returns a list of include filenames to be run later
in a pure IO function. I realized that this just amounted
Gregory Propf wrote:
I've been struggling with writing a parser that needs to parse include
files within source files. So far I cannot get this to work (in
reality to get work done I wrote a kludge that returns a list of
include filenames to be run later in a pure IO function. I realized
.
(Note: I accidentally sent this to Andrew instead of the list originally)
- Original Message
From: Andrew Coppin [EMAIL PROTECTED]
To: haskell-cafe@haskell.org
Sent: Saturday, August 11, 2007 1:25:16 PM
Subject: Re: [Haskell-cafe] IO within parser
Gregory Propf wrote:
I've been struggling