Quantum.Synthesis.LaTeX

This module provides some functionality for pretty-printing certain types to LaTeX format.

Documentation

class ShowLaTeX a where

A type class for things that can be printed to LaTeX format.

Minimal complete definition: showlatex or showlatex_p.

Methods

showlatex :: a -> String

Print to LaTeX format.

showlatex_p :: Int -> a -> ShowS

Print to LaTeX format, with precedence. Analogous to showsPrec.

Instances

ShowLaTeX Double

ShowLaTeX Integer

ShowLaTeX Rational

ShowLaTeX SymReal

ShowLaTeX DOmega

ShowLaTeX ZOmega

ShowLaTeX Dyadic

ShowLaTeX TwoLevel

ShowLaTeX [TwoLevel]

ShowLaTeX [Gate]

ShowLaTeX (Omega Z2)

(ShowLaTeX a, Ring a, Eq a) => ShowLaTeX (Cplx a)

(ShowLaTeX a, Eq a, Ring a) => ShowLaTeX (RootTwo a)

Nat n => ShowLaTeX (Matrix n m DRComplex)

Nat n => ShowLaTeX (Matrix n m DOmega)

(ShowLaTeX a, Nat n) => ShowLaTeX (Matrix n m a)

showlatex_denomexp_p :: (WholePart a b, ShowLaTeX b, DenomExp a) => Int -> a -> ShowS

Generic showlatex-like method that factors out a common denominator exponent.