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 #