TelomareParser :: * -> *

Parse a variable.

Line comments start with "--".

A block comment starts with "{-" and ends at "-}". Nested block comments are also supported.

Space Consumer: Whitespace and comment parser that does not consume new-lines.

Space Consumer: Whitespace and comment parser that does consume new-lines.

This is a wrapper for lexemes that picks up all trailing white space using sc

A parser that matches given text using string internally and then similarly picks up all trailing white space.

This is to parse reserved words.

List of reserved words

Variable identifiers can consist of alphanumeric characters, underscore, and must start with an English alphabet letter

Parser for parenthesis.

Parser for brackets.

Parser for curly braces

Comma sepparated TelomareParser that will be useful for lists

Integer TelomareParser used by parseNumber and parseChurch

Parse string literal.

Parse number (Integer).

Parse a pair.

Parse unsized recursion triple

Parse a list.

Parse ITE (which stands for "if then else").

Parse a single expression.

Parse application of functions.

Parse lambda expression.

Parser that fails if indent level is not pos.

Parse let expression.

Parse long expression.

Parse church numerals (church numerals are a "$" appended to an integer, without any whitespace separation).

Parse refinement check.

Parse assignment add adding binding to ParserState.

Parse top level expressions.

Parse top level expressions.

Helper function to test parsers without a result.

Helper function to debug parsers without a result.

Helper function to test Telomare parsers with any result.

Helper function to test if parser was successful.

Parse either a single expression or top level definitions defaulting to the main definition. This function is useful and was made for telomare-evaluare

Parse with specified prelude