HORIZON HASKELLDocslts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Moduletexmath-0.13.3.1Haskell2010

Text.TeXMath.Shared

  • 22 values
  • Packagetexmath-0.13.3.1
  • Exports22
  • LanguageHaskell2010
  • LicenceGPL-2.0-only
  • SourceShared.hs
valuescalers :: [(Text, Rational)]
#

Mapping between LaTeX scaling commands and the scaling factor

valuediacriticals :: [(Text, Text)]
#

Mapping between unicode combining character and LaTeX accent command

valuefixTree :: Exp -> Exp
#

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

valueeverywhereExp :: (Exp -> Exp) -> Exp -> Exp
#

Apply a transformation to every subexpression, bottom up (equivalent to SYB's everywhere (mkT f), but faster, since it involves no run-time type checks).

valueeverywhereExpList :: ([Exp] -> [Exp]) -> [Exp] -> [Exp]
#

Apply a transformation to every expression list in an expression list, bottom up. Like SYB's everywhere (mkT f), this applies the function to every tail of every list (right to left), since each tail is itself a [Exp] node; a rewrite can thus consume already-rewritten material to its right.

valuemapExpChildren :: (Exp -> Exp) -> ([Exp] -> [Exp]) -> Exp -> Exp
#

Apply goE to each immediate subexpression of a node and goL to each immediate subexpression list. A building block for expression traversals.

valueisEmpty :: Exp -> Bool
#

Test to see whether an expression is empty.

valueempty :: Exp
#

An empty group of expressions