Agdarsec Versions Save

Even thought the level polymorphism may be useful in some cases, we provide an entrypoint stripped of all level polymorphism which should make writing simple parsers a lot easier.

Tested with:

• Agda version 2.6.2
• Agda's standard library version 1.7

Text.Parser re-exports specialised combinators and convenient running functions for the case where the input is a vector of characters. This should make using the library a lot easier.

Tested with:

• Agda version 2.6.1.1
• Agda's standard library version 1.4

Tested with:

• Agda version 2.6.1
• Agda's standard library Version 1.4

Tested with:

• Agda 2.5.4.2
• Standard library 0.17

Same as v0.2 except that it now supports:

Agda version 2.5.4 Agda's standard library version 0.16

Same as v0.2 except that it now supports:

Agda version 2.5.4 Agda's standard library version 0.16

This release:

• introduces a notion of parser parameters
• provides monad transformers for end users
• provides ways to instrument a parser (cf. blog post)

Tested with:

• Agda version 2.5.3
• Agda's standard library version 0.14

Same as v0.1 except that it now supports:

• Agda version 2.5.3
• Agda's standard library version 0.14

This version of the library has been tested with:

• Agda version 2.5.2
• Agda's standard library version 0.13.