Mida.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

probeMida :: Text -> Bool

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

parseMida

Arguments

:: String

Name of file

-> Text

Text to parse

-> Either String [Statement]

Error message or parsed statements

Entry point for MIDA parsing.