Text.TeXMath.Shared

texmath-0.12.8.8: Conversion between math formats.

Safe Haskell | None
Language | Haskell2010

Text.TeXMath.Shared

Synopsis

- getMMLType :: TextType -> Text
- getTextType :: Text -> TextType
- getLaTeXTextCommand :: Env -> TextType -> Text
- getScalerCommand :: Rational -> Maybe Text
- getScalerValue :: Text -> Maybe Rational
- scalers :: [(Text, Rational)]
- getSpaceWidth :: Char -> Maybe Rational
- getSpaceChars :: Rational -> Text
- getDiacriticalCommand :: Position -> Text -> Maybe Text
- diacriticals :: [(Text, Text)]
- getOperator :: Exp -> Maybe TeX
- readLength :: Text -> Maybe Rational
- fixTree :: Exp -> Exp
- isEmpty :: Exp -> Bool
- empty :: Exp
- handleDownup :: DisplayType -> Exp -> Exp

# Documentation

getMMLType :: TextType -> Text #

Maps TextType to the corresponding MathML mathvariant

getTextType :: Text -> TextType #

Maps MathML mathvariant to the corresponing TextType

getLaTeXTextCommand :: Env -> TextType -> Text #

Maps TextType to corresponding LaTeX command

getScalerCommand :: Rational -> Maybe Text #

Maps a LaTeX scaling command to the percentage scaling

getScalerValue :: Text -> Maybe Rational #

Gets percentage scaling from LaTeX scaling command

scalers :: [(Text, Rational)] #

Mapping between LaTeX scaling commands and the scaling factor

getSpaceWidth :: Char -> Maybe Rational #

Returns the space width for a unicode space character, or Nothing.

getSpaceChars :: Rational -> Text #

Returns the sequence of unicode space characters closest to the specified width.

getDiacriticalCommand :: Position -> Text -> Maybe Text #

Given a diacritical mark, returns the corresponding LaTeX command

diacriticals :: [(Text, Text)] #

Mapping between unicode combining character and LaTeX accent command

getOperator :: Exp -> Maybe TeX #

readLength :: Text -> Maybe Rational #

Attempts to convert a string into

fixTree :: Exp -> Exp #

Walks over a tree of expressions, removing empty expressions, and fixing delimited expressions with no delimiters and unnecessarily grouped expressions.

isEmpty :: Exp -> Bool #

Test to see whether an expression is `empty`.

empty :: Exp #

An empty group of expressions

handleDownup :: DisplayType -> Exp -> Exp #