Logic.Judge.Writer.LaTeX

Description

This module provides instances for LaTeX output in Doc-format.

Synopsis

Documentation

class LaTeX a where Source #

Instances of this class can be represented as LaTeX code.

Minimal complete definition

Methods

Produce a Doc representing LaTeX code.

Instances

LaTeX a => LaTeX (Marked a) Source #
Methods latex :: Marked a -> Doc Source #
Printable ext => LaTeX (Formula ext) Source #
Methods latex :: Formula ext -> Doc Source #
Printable ext => LaTeX (Tableau ext) Source #
Methods latex :: Tableau ext -> Doc Source #
(LaTeX input, Printable ext) => LaTeX (Result input (Tableau ext)) Source #
Methods latex :: Result input (Tableau ext) -> Doc Source #
LaTeX a => LaTeX (Ref Int a) Source #
Methods latex :: Ref Int a -> Doc Source #

Produce a Doc representing LaTeX code.

Header for LaTeX output.

Footer for LaTeX output.