HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Moduletexmath-0.12.8.9Haskell2010

Text.TeXMath.Types

Types for representing a structured formula.

  • 14 types
  • 1 value
  • Packagetexmath-0.12.8.9
  • Exports15
  • LanguageHaskell2010
  • LicenceGPL-2.0-only
  • SourceTypes.hs
datadata Exp
#

Constructors

  • ENumber Text

    A number (<mn> in MathML).

  • EGrouped [Exp]

    A group of expressions that function as a unit (e.g. {...}) in TeX, <mrow>...</mrow> in MathML.

  • EDelimited Text Text [InEDelimited]

    A group of expressions inside paired open and close delimiters (which may in some cases be null).

  • EIdentifier Text

    An identifier, e.g. a variable (<mi>...</mi> in MathML. Note that MathML tends to use <mi> tags for "sin" and other mathematical operators; these are represented as EMathOperator in TeXMath.

  • EMathOperator Text

    A spelled-out operator like lim or sin.

  • ESymbol TeXSymbolType Text

    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 EOver.

  • 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 Text

    Some normal text, possibly styled.

  • EStyled TextType [Exp]

    A group of styled expressions.

Instances5Eq, Data, Ord, Read, Show
  • Eq ExpDefined in texmath-0.12.8.9 · Text.TeXMath.Types
  • Data ExpDefined in texmath-0.12.8.9 · Text.TeXMath.Types
  • Ord ExpDefined in texmath-0.12.8.9 · Text.TeXMath.Types
  • Read ExpDefined in texmath-0.12.8.9 · Text.TeXMath.Types
  • Show ExpDefined in texmath-0.12.8.9 · Text.TeXMath.Types
datadata FractionType
#

Constructors

Instances5Eq, Data, Ord, Read, Show
datadata TextType
#
Instances5Eq, Data, Ord, Read, Show
  • Eq TextTypeDefined in texmath-0.12.8.9 · Text.TeXMath.Types
  • Data TextTypeDefined in texmath-0.12.8.9 · Text.TeXMath.Types
  • Ord TextTypeDefined in texmath-0.12.8.9 · Text.TeXMath.Types
  • Read TextTypeDefined in texmath-0.12.8.9 · Text.TeXMath.Types
  • Show TextTypeDefined in texmath-0.12.8.9 · Text.TeXMath.Types
typetype Env = [Text]
#

List of available packages

typetype InEDelimited = Either Middle Exp
#

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).