Safe Haskell	None
Language	Haskell2010

Mida.Representation

Synopsis

Documentation

data Statement Source

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

Constructors

Definition String SyntaxTree
Exposition SyntaxTree

Instances

Eq Statement Source
Show Statement Source

probeMida :: Text -> Bool Source

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

parseMida Source

Arguments

:: String	Name of file
-> Text	Text to parse
-> Either String [Statement]	Error message or parsed statements

Entry point for MIDA parsing.

showStatement :: Statement -> Text Source

Render a statement. This handles definitions and expositions.

showSyntaxTree :: SyntaxTree -> Text Source

Render syntax tree.

showPrinciple :: Principle -> Text Source

Show principle. This is useful for printing of simplified principles back to user. We can use the same pretty-printing algorithm as for syntax trees, but this requires us to perform transformation from Principle to SyntaxTree, which is trivial.