Idris2Doc
: parser
Index
Default
Alternative
Black & White
Package parser - Namespaces
Data.Bool.Rewrite
Data.List.Shift
Data.List.Suffix
Data.List.Suffix.Result
Data.List.Suffix.Result0
Text.Lex
Text.Lex.Core
A simple library of lexers and their combinators. A `Lexer` is just a (dependent) function, which is guaranteed to consume a non-empty prefix of the input list of characters.
Text.Lex.Manual
Text.Lex.Manual.Syntax
Text.Lex.Shift
Text.Lex.Tokenizer
Text.Lex.Util
Text.Parse
Text.Parse.Core
Text.Parse.Manual
This module provides utilities for writing parsers by hand (without using the combinators from module `Text.Parse.Core`).
Text.Parse.Syntax