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

Methods

showlatex :: Double -> String

showlatex_p :: Int -> Double -> ShowS

ShowLaTeX Integer

Methods

showlatex :: Integer -> String

showlatex_p :: Int -> Integer -> ShowS

ShowLaTeX Rational

Methods

showlatex :: Rational -> String

showlatex_p :: Int -> Rational -> ShowS

ShowLaTeX DOmega

Methods

showlatex :: DOmega -> String

showlatex_p :: Int -> DOmega -> ShowS

ShowLaTeX ZOmega

Methods

showlatex :: ZOmega -> String

showlatex_p :: Int -> ZOmega -> ShowS

ShowLaTeX Dyadic

Methods

showlatex :: Dyadic -> String

showlatex_p :: Int -> Dyadic -> ShowS

ShowLaTeX TwoLevel

Methods

showlatex :: TwoLevel -> String

showlatex_p :: Int -> TwoLevel -> ShowS

ShowLaTeX SymReal

Methods

showlatex :: SymReal -> String

showlatex_p :: Int -> SymReal -> ShowS

ShowLaTeX [TwoLevel]

Methods

showlatex :: [TwoLevel] -> String

showlatex_p :: Int -> [TwoLevel] -> ShowS

ShowLaTeX [Gate]

Methods

showlatex :: [Gate] -> String

showlatex_p :: Int -> [Gate] -> ShowS

ShowLaTeX (Omega Z2)

Methods

showlatex :: Omega Z2 -> String

showlatex_p :: Int -> Omega Z2 -> ShowS

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

Methods

showlatex :: Cplx a -> String

showlatex_p :: Int -> Cplx a -> ShowS

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

Methods

showlatex :: RootTwo a -> String

showlatex_p :: Int -> RootTwo a -> ShowS

Nat n => ShowLaTeX (Matrix n m DRComplex)

Methods

showlatex :: Matrix n m DRComplex -> String

showlatex_p :: Int -> Matrix n m DRComplex -> ShowS

Nat n => ShowLaTeX (Matrix n m DOmega)

Methods

showlatex :: Matrix n m DOmega -> String

showlatex_p :: Int -> Matrix n m DOmega -> ShowS

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

Methods

showlatex :: Matrix n m a -> String

showlatex_p :: Int -> Matrix n m a -> ShowS

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

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