[Haskell-cafe] Pearl! I just proved theorem about impossibility of monad transformer for parsing with (1) unbiased choice and (2) ambiguity checking before running embedded monadic action (also, I THREAT I will create another parsing lib)
effectfully at gmail.com
Thu Jun 17 13:20:41 UTC 2021
> 2. We need to prepend "fromEither" before each parser, in which we plan to fail with error messages.
Are you familiar with selective functors ? That library might be
helpful in your case.
More information about the Haskell-Cafe