ziman / lightyear

Parser combinators for Idris

ziman/lightyear Issues

Issue translating megaparsec example
Updated 6 years ago
requireFailure consumes an input (does not do backtracking)
Closed 6 years ago2
Can ntimes be tail recursive?
Updated 6 years ago
Alternative backtracks, but the transformer does not
Updated 7 years ago1
Infinite loop
Closed 7 years ago2
getPosition is invalidating the parser state?
Closed 7 years ago1
All string parsers are now partial
Closed 7 years ago
documentation
Updated 7 years ago3
won't build with 0.99
Updated 8 years ago2
Travis CI
Updated 8 years ago
Build failure with idris 0.12.1
Closed 8 years ago1
MonadState implementation for ParserT?
Closed 8 years ago2
space parses zero or more whitespace, while it would make more sense to parse only one!
Updated 9 years ago
Universe inconsistency in Test.idr with Idris 0.9.19
Closed 9 years ago2
Json example
Closed 9 years ago1
JSON as a separate library
Closed 9 years ago2
Lightyear Tests segfaults.
Closed 10 years ago1
JSON example broken
Closed 10 years ago1
Ambiguous :: in Lightyear/String_.idr c2s
Closed 11 years ago1