[Haskell-cafe] Parsing, infixes and on-the-fly precedence

Kim-Ee Yeoh ky3 at atamo.com
Tue Sep 29 03:07:44 UTC 2015

On Mon, Sep 28, 2015 at 2:28 PM, Jeffrey Brown <jeffbrown.the at gmail.com>

> I imagine a parser that operates on (String,[String]) pairs, for which the
> second element allows the user to define precedence on the fly.

Let's use the Parser newtype

newtype Parser a = Parser { parse :: String -> [(a,String)] }



as a basis for discussion.

Now you want to "operate on (String,[String]) pairs", so the Parser newtype
must now look like this:

type MyInput = (String,[String])

newtype MyParser a = MyParser { parse :: MyInput -> [(a,MyInput)] }

Is this what you have in mind?

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150929/63554ccf/attachment.html>

More information about the Haskell-Cafe mailing list