Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- showStatement :: Statement -> Text
- showDefinition :: String -> SyntaxTree -> Text
- showSyntaxTree :: SyntaxTree -> Text
- showPrinciple :: Principle -> Text
Documentation
showStatement :: Statement -> Text Source #
Render a statement. This handles definitions and expositions.
:: String | Reference name |
-> SyntaxTree | Syntax tree |
-> Text | Textual representation of definition |
Render definition.
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.