On 30 January 2013 12:38, Ertugrul Söylemez <e...@ertes.de> wrote: > > A monadic parser /is/ a combinator parser. The code you linked just > doesn't go as far as wrapping it up with a newtype and providing a monad > instance.
Further, (+>) in the linked example is monadic bind and `result` is `return`. The code looks more succinct than early Parser combinator libraries (like Hutton / Meijer) because it defines quite a few more combinators. Equivalents are available if you use say Parsec plus the usual applicative combinators. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe