Haskell Platform decision: time to bless parsec 3?
stephen.tetley at gmail.com
Sat Nov 6 13:47:47 EDT 2010
On 6 November 2010 16:24, Martijn van Steenbergen
<martijn at van.steenbergen.nl> wrote:
> * Most of the combinators in Text.Parsec.Combinator have types specialized
> to ParsecT (with a Stream class constraint as consequence) while they could
> be defined in terms of Applicative only. I think these should be rewritten
> in terms of Applicative (or Monad if absolutely necessary) whenever
Couldn't an independent package could achieve this goal?
If the combinators were defined in Parsec they would be under the
Parsec namespace rather than Control.* and Parsec having type
specialized versions might produce better error messages.
Ross Paterson already has an alternative implementation of the Perm
combinators on Hackage that are defined in solely with Applicative
More information about the Libraries