Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class ToLatex a where Source #
Instances
ToLatex Condition Source # | |
ToLatex Rule Source # | |
ToLatex RuleContext Source # | |
Defined in Language.EO.Phi.ToLaTeX toLatex :: RuleContext -> LaTeX Source # toLatexString :: RuleContext -> String Source # | |
ToLatex Attribute Source # | |
ToLatex Binding Source # | |
ToLatex Object Source # | |
ToLatex Program Source # | |
ToLatex RuleAttribute Source # | |
Defined in Language.EO.Phi.ToLaTeX toLatex :: RuleAttribute -> LaTeX Source # toLatexString :: RuleAttribute -> String Source # | |
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 #