Safe Haskell	None
Language	Haskell98

Quantum.Synthesis.LaTeX

Description

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

Synopsis

Documentation

class ShowLaTeX a where Source #

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

Minimal complete definition: showlatex or showlatex_p.

Methods

showlatex :: a -> String Source #

Print to LaTeX format.

showlatex_p :: Int -> a -> ShowS Source #

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

Instances

ShowLaTeX Double Source #
Methods showlatex :: Double -> String Source # showlatex_p :: Int -> Double -> ShowS Source #
ShowLaTeX Integer Source #
Methods showlatex :: Integer -> String Source # showlatex_p :: Int -> Integer -> ShowS Source #
ShowLaTeX Rational Source #
Methods showlatex :: Rational -> String Source # showlatex_p :: Int -> Rational -> ShowS Source #
ShowLaTeX DOmega Source #
Methods showlatex :: DOmega -> String Source # showlatex_p :: Int -> DOmega -> ShowS Source #
ShowLaTeX ZOmega Source #
Methods showlatex :: ZOmega -> String Source # showlatex_p :: Int -> ZOmega -> ShowS Source #
ShowLaTeX Dyadic Source #
Methods showlatex :: Dyadic -> String Source # showlatex_p :: Int -> Dyadic -> ShowS Source #
ShowLaTeX TwoLevel Source #
Methods showlatex :: TwoLevel -> String Source # showlatex_p :: Int -> TwoLevel -> ShowS Source #
ShowLaTeX SymReal Source #
Methods showlatex :: SymReal -> String Source # showlatex_p :: Int -> SymReal -> ShowS Source #
ShowLaTeX [TwoLevel] Source #
Methods showlatex :: [TwoLevel] -> String Source # showlatex_p :: Int -> [TwoLevel] -> ShowS Source #
ShowLaTeX [Gate] Source #
Methods showlatex :: [Gate] -> String Source # showlatex_p :: Int -> [Gate] -> ShowS Source #
ShowLaTeX (Omega Z2) Source #
Methods showlatex :: Omega Z2 -> String Source # showlatex_p :: Int -> Omega Z2 -> ShowS Source #
(ShowLaTeX a, Ring a, Eq a) => ShowLaTeX (Cplx a) Source #
Methods showlatex :: Cplx a -> String Source # showlatex_p :: Int -> Cplx a -> ShowS Source #
(ShowLaTeX a, Eq a, Ring a) => ShowLaTeX (RootTwo a) Source #
Methods showlatex :: RootTwo a -> String Source # showlatex_p :: Int -> RootTwo a -> ShowS Source #
Nat n => ShowLaTeX (Matrix n m DRComplex) Source #
Methods showlatex :: Matrix n m DRComplex -> String Source # showlatex_p :: Int -> Matrix n m DRComplex -> ShowS Source #
Nat n => ShowLaTeX (Matrix n m DOmega) Source #
Methods showlatex :: Matrix n m DOmega -> String Source # showlatex_p :: Int -> Matrix n m DOmega -> ShowS Source #
(ShowLaTeX a, Nat n) => ShowLaTeX (Matrix n m a) Source #
Methods showlatex :: Matrix n m a -> String Source # showlatex_p :: Int -> Matrix n m a -> ShowS Source #

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

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