eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.EO.Phi.ToLaTeX

Documentation

newtype LaTeX Source #

Constructors

LaTeX 

Fields

Instances

Instances details
IsString LaTeX Source # 
Instance details

Defined in Language.EO.Phi.ToLaTeX

Methods

fromString :: String -> LaTeX #

Monoid LaTeX Source # 
Instance details

Defined in Language.EO.Phi.ToLaTeX

Methods

mempty :: LaTeX #

mappend :: LaTeX -> LaTeX -> LaTeX #

mconcat :: [LaTeX] -> LaTeX #

Semigroup LaTeX Source # 
Instance details

Defined in Language.EO.Phi.ToLaTeX

Methods

(<>) :: LaTeX -> LaTeX -> LaTeX #

sconcat :: NonEmpty LaTeX -> LaTeX #

stimes :: Integral b => b -> LaTeX -> LaTeX #

Show LaTeX Source # 
Instance details

Defined in Language.EO.Phi.ToLaTeX

Methods

showsPrec :: Int -> LaTeX -> ShowS #

show :: LaTeX -> String #

showList :: [LaTeX] -> ShowS #

class ToLatex a where Source #

Minimal complete definition

toLatex

Instances

Instances details
ToLatex Condition Source # 
Instance details

Defined in Language.EO.Phi.ToLaTeX

ToLatex Rule Source # 
Instance details

Defined in Language.EO.Phi.ToLaTeX

ToLatex RuleContext Source # 
Instance details

Defined in Language.EO.Phi.ToLaTeX

ToLatex Attribute Source # 
Instance details

Defined in Language.EO.Phi.ToLaTeX

ToLatex Binding Source # 
Instance details

Defined in Language.EO.Phi.ToLaTeX

ToLatex Object Source # 
Instance details

Defined in Language.EO.Phi.ToLaTeX

ToLatex Program Source # 
Instance details

Defined in Language.EO.Phi.ToLaTeX

ToLatex RuleAttribute Source # 
Instance details

Defined in Language.EO.Phi.ToLaTeX

ToLatex [Rule] Source # 
Instance details

Defined in Language.EO.Phi.ToLaTeX