Safe Haskell	Safe-Inferred
Language	GHC2021

Display.Latex

Documentation

class Latex a where #

Methods

Instances details

Latex BinOp #
Instance details Defined in Lang.Lang Methods latex :: BinOp -> String #
Latex Expr #
Instance details Defined in Lang.Lang Methods latex :: Expr -> String #
Latex Val #
Instance details Defined in Lang.Lang Methods latex :: Val -> String #
Latex EvalJ #
Instance details Defined in Lang.Operation Methods latex :: EvalJ -> String #
Latex j => Latex (Problem j) #
Instance details Defined in Logic.Problems Methods latex :: Problem j -> String #
Latex j => Latex (Proof j) #
Instance details Defined in Logic.Proof Methods latex :: Proof j -> String #

render :: Latex a => a -> IO () #