| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.EO.Phi.ToLaTeX
Documentation
class ToLatex a where Source #
Minimal complete definition
Instances
| ToLatex Condition Source # | |
| ToLatex Rule Source # | |
| ToLatex RuleContext Source # | |
Defined in Language.EO.Phi.ToLaTeX | |
| ToLatex Attribute Source # | |
| ToLatex Binding Source # | |
| ToLatex Object Source # | |
| ToLatex Program Source # | |
| ToLatex RuleAttribute Source # | |
Defined in Language.EO.Phi.ToLaTeX | |
| ToLatex [Rule] Source # | |
removeOrgEolang :: String -> String Source #
substituteTau :: String -> String Source #
removeAlpha :: String -> String Source #
latexToString :: LaTeX -> String Source #
inMathMode :: LaTeX -> LaTeX Source #
isNonEmptyContext :: Maybe RuleContext -> Bool Source #
ruleToLatexCompact :: Rule -> LaTeX Source #
rulesToLatexCompact :: [Rule] -> LaTeX Source #