Alga.Representation.Parser

Documentation

data Statement

Statement can be either definition or exposition. Expositions are only used in REPL.

Constructors

Definition String SyntaxTree

Exposition SyntaxTree

Instances

Eq Statement

Show Statement

probeAlga :: Text -> Bool

Test if given fragment of ALGA code is finished and self-contained.

parseAlga

Arguments

:: String

Name of file

-> Text

Text to parse

-> Either String [Statement]

Error message or parsed statements

Entry point for ALGA parsing.