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

On Mon, Sep 28, 2015 at 2:28 PM, Jeffrey Brown wrote:

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)] } from http://dev.stephendiehl.com/fun/002_parsers.html 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