Package-level declarations

Types

Link copied to clipboard
object English : Language

English Language object.

Link copied to clipboard
object German : Language

German Language object.

Link copied to clipboard
sealed class Language

Represents a language and offers key-bases translations with optional arguments. Because the parser was supposed to remain largely untouched, I (Jan Müller) did not move the parser-translations to the web-frontend, as I did with all other translations.

Link copied to clipboard
typealias ParserResult = Result<FormulaHead, String>

Result that either contains a parsed FormulaHead or a translated error message.

Functions

Link copied to clipboard
fun parseFormula(formula: String, language: Language = English): ParserResult

Attempts to parse a formula.