| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Text.TeXMath.Types
Description
Types for representing a structured formula.
- data Exp
- = ENumber String
- | EGrouped [Exp]
- | EDelimited String String [InEDelimited]
- | EIdentifier String
- | EMathOperator String
- | ESymbol TeXSymbolType String
- | ESpace Rational
- | ESub Exp Exp
- | ESuper Exp Exp
- | ESubsup Exp Exp Exp
- | EOver Bool Exp Exp
- | EUnder Bool Exp Exp
- | EUnderover Bool Exp Exp Exp
- | EPhantom Exp
- | EBoxed Exp
- | EFraction FractionType Exp Exp
- | ERoot Exp Exp
- | ESqrt Exp
- | EScaled Rational Exp
- | EArray [Alignment] [ArrayLine]
- | EText TextType String
- | EStyled TextType [Exp]
- data TeXSymbolType
- type ArrayLine = [[Exp]]
- data FractionType
- data TextType
- data Alignment
- data DisplayType
- data Operator = Operator {}
- data FormType
- data Record = Record {}
- type Property = String
- data Position
- type Env = [String]
- defaultEnv :: [String]
- type InEDelimited = Either Middle Exp
Documentation
Constructors
| ENumber String | A number ( |
| EGrouped [Exp] | A group of expressions that function as a unit
(e.g. |
| EDelimited String String [InEDelimited] | A group of expressions inside paired open and close delimiters (which may in some cases be null). |
| EIdentifier String | An identifier, e.g. a variable ( |
| EMathOperator String | A spelled-out operator like |
| ESymbol TeXSymbolType String | A symbol. |
| ESpace Rational | A space, with the width specified in em. |
| ESub Exp Exp | An expression with a subscript. First argument is base, second subscript. |
| ESuper Exp Exp | An expresion with a superscript. First argument is base, second subscript. |
| ESubsup Exp Exp Exp | An expression with both a sub and a superscript. First argument is base, second subscript, third superscript. |
| EOver Bool Exp Exp | An expression with something over it. The first argument is True if the formula is "convertible:" that is, if the material over the formula should appear as a regular superscript in inline math. The second argument is the base, the third the expression that goes over it. |
| EUnder Bool Exp Exp | An expression with something under it.
The arguments work as in |
| EUnderover Bool Exp Exp Exp | An expression with something over and something under it. |
| EPhantom Exp | A "phantom" operator that takes space but doesn't display. |
| EBoxed Exp | A boxed expression. |
| EFraction FractionType Exp Exp | A fraction. First argument is numerator, second denominator. |
| ERoot Exp Exp | An nth root. First argument is index, second is base. |
| ESqrt Exp | A square root. |
| EScaled Rational Exp | An expression that is scaled to some factor of its normal size. |
| EArray [Alignment] [ArrayLine] | An array or matrix. The first argument specifies the alignments of the columns; the second gives the contents of the lines. All of these lists should be the same length. |
| EText TextType String | Some normal text, possibly styled. |
| EStyled TextType [Exp] | A group of styled expressions. |
data TeXSymbolType Source
data FractionType Source
Constructors
| NormalFrac | Displayed or textual, acc to |
| DisplayFrac | Force display mode |
| InlineFrac | Force inline mode (textual) |
| NoLineFrac | No line between top and bottom |
Constructors
| AlignLeft | |
| AlignCenter | |
| AlignRight | |
| AlignDefault |
data DisplayType Source
Constructors
| DisplayBlock | A displayed formula. |
| DisplayInline | A formula rendered inline in text. |
Instances
A record of the MathML dictionary as defined in the specification
Constructors
| Operator | |
A record of the Unicode to LaTeX lookup table a full descripton can be seen <http://milde.users.sourceforge.net/LUCR/Math/data/unimathsymbols.txt here>
Constructors
| Record | |
defaultEnv :: [String] Source
Contains amsmath and amssymbol
type InEDelimited = Either Middle Exp Source
An EDelimited element contains a string of ordinary expressions
(represented here as Right values) or fences (represented here as
Left, and in LaTeX using mid).