G'day all.
On Fri, Jan 31, 2003 at 09:05:11AM -, Guest, Simon wrote:
This bit I don't understand. I only have one monad transformer, which I use to
transform my SM monad.
What I mean is (and recall that I have not looked very hard at your
program, just the BACKTR implementation, so I'm
Hi,
On Thu, Jan 30, 2003 at 01:55:50PM -, Guest, Simon wrote:
I'm trying to make a backtracking state monad using Ralf Hinze's
backtracking monad transformer. My problem is that it
won't backtrack very far.
Suppose I try ( a b ) `mplus` c.
If b fails, it should try c,
Andrew Bromage wrote:
You may have meant to stack the monad transformers in a different
order.
I finally understand. This was exactly my problem. I had to discard my state monad,
and use a state monad transformer on the simple backtracking monad (not the
backtracking monad transformer on
G'day all.
On Thu, Jan 30, 2003 at 01:55:50PM -, Guest, Simon wrote:
I'm trying to make a backtracking state monad using Ralf Hinze's
backtracking monad transformer. My problem is that it won't backtrack
very far.
Suppose I try ( a b ) `mplus` c.
If b fails, it should try c, but