/usr/share/doc/libghc-texmath-doc/html/Text-TeXMath.html is in libghc-texmath-doc 0.8.6.7-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Text.TeXMath</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Text-TeXMath.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Text-TeXMath.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">texmath-0.8.6.7: Conversion between formats used to represent mathematics.</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Text.TeXMath</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Functions for converting between different representations of
mathematical formulas.</p><p>Also note that in general <code>writeLaTeX . readLaTeX /= id</code>.</p><p>A typical use is to combine together a reader and writer.</p><pre>import Control.Applicative ((<$>))
import Text.TeXMath (writeMathML, readTeX)
texMathToMathML :: DisplayType -> String -> Either String Element
texMathToMathML dt s = writeMathML dt <$> readTeX s</pre><p>It is also possible to manipulate the AST using <code><a href="Data.html#v:Generics">Generics</a></code>. For
example, if you wanted to replace all occurences of the identifier
x in your expression, you do could do so with the following
script.</p><pre>import Control.Applicative ((<$>))
import Data.Generics (everywhere, mkT)
import Text.TeXMath (writeMathML, readTeX)
import Text.TeXMath.Types
import Text.XML.Light (Element)
changeIdent :: Exp -> Exp
changeIdent (EIdentifier "x") = EIdentifier "y"
changeIdent e = e
texToMMLWithChangeIdent :: DisplayType -> String -> Either String Element
texToMMLWithChangeIdent dt s =
writeMathML dt . everywhere (mkT changeIdent) <$> readTeX s</pre></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><a href="#v:readMathML">readMathML</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> [<a href="Text-TeXMath.html#t:Exp">Exp</a>]</li><li class="src short"><a href="#v:readOMML">readOMML</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> [<a href="Text-TeXMath.html#t:Exp">Exp</a>]</li><li class="src short"><a href="#v:readTeX">readTeX</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> [<a href="Text-TeXMath.html#t:Exp">Exp</a>]</li><li class="src short"><a href="#v:writeTeX">writeTeX</a> :: [<a href="Text-TeXMath.html#t:Exp">Exp</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a></li><li class="src short"><a href="#v:writeTeXWith">writeTeXWith</a> :: <a href="Text-TeXMath-Types.html#t:Env">Env</a> -> [<a href="Text-TeXMath.html#t:Exp">Exp</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a></li><li class="src short"><a href="#v:addLaTeXEnvironment">addLaTeXEnvironment</a> :: <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a></li><li class="src short"><a href="#v:writeOMML">writeOMML</a> :: <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a> -> [<a href="Text-TeXMath.html#t:Exp">Exp</a>] -> <a href="file:///usr/share/doc/libghc-xml-doc/html/Text-XML-Light-Types.html#t:Element">Element</a></li><li class="src short"><a href="#v:writeMathML">writeMathML</a> :: <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a> -> [<a href="Text-TeXMath.html#t:Exp">Exp</a>] -> <a href="file:///usr/share/doc/libghc-xml-doc/html/Text-XML-Light-Types.html#t:Element">Element</a></li><li class="src short"><a href="#v:writePandoc">writePandoc</a> :: <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a> -> [<a href="Text-TeXMath.html#t:Exp">Exp</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Maybe.html#t:Maybe">Maybe</a> [<a href="file:///usr/share/doc/libghc-pandoc-types-doc/html/Text-Pandoc-Definition.html#t:Inline">Inline</a>]</li><li class="src short"><span class="keyword">data</span> <a href="#t:DisplayType">DisplayType</a><ul class="subs"><li>= <a href="#v:DisplayBlock">DisplayBlock</a></li><li>| <a href="#v:DisplayInline">DisplayInline</a></li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:Exp">Exp</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:readMathML" class="def">readMathML</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> [<a href="Text-TeXMath.html#t:Exp">Exp</a>] <a href="src/Text-TeXMath-Readers-MathML.html#readMathML" class="link">Source</a> <a href="#v:readMathML" class="selflink">#</a></p><div class="doc"><p>Parse a MathML expression to a list of <code><a href="Text-TeXMath.html#t:Exp">Exp</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:readOMML" class="def">readOMML</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> [<a href="Text-TeXMath.html#t:Exp">Exp</a>] <a href="src/Text-TeXMath-Readers-OMML.html#readOMML" class="link">Source</a> <a href="#v:readOMML" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:readTeX" class="def">readTeX</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> [<a href="Text-TeXMath.html#t:Exp">Exp</a>] <a href="src/Text-TeXMath-Readers-TeX.html#readTeX" class="link">Source</a> <a href="#v:readTeX" class="selflink">#</a></p><div class="doc"><p>Parse a formula, returning a list of <code><a href="Text-TeXMath.html#t:Exp">Exp</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:writeTeX" class="def">writeTeX</a> :: [<a href="Text-TeXMath.html#t:Exp">Exp</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="src/Text-TeXMath-Writers-TeX.html#writeTeX" class="link">Source</a> <a href="#v:writeTeX" class="selflink">#</a></p><div class="doc"><p>Transforms an expression tree to equivalent LaTeX with the default
packages (amsmath and amssymb)</p></div></div><div class="top"><p class="src"><a id="v:writeTeXWith" class="def">writeTeXWith</a> :: <a href="Text-TeXMath-Types.html#t:Env">Env</a> -> [<a href="Text-TeXMath.html#t:Exp">Exp</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="src/Text-TeXMath-Writers-TeX.html#writeTeXWith" class="link">Source</a> <a href="#v:writeTeXWith" class="selflink">#</a></p><div class="doc"><p>Transforms an expression tree to equivalent LaTeX with the specified
packages</p></div></div><div class="top"><p class="src"><a id="v:addLaTeXEnvironment" class="def">addLaTeXEnvironment</a> :: <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="src/Text-TeXMath-Writers-TeX.html#addLaTeXEnvironment" class="link">Source</a> <a href="#v:addLaTeXEnvironment" class="selflink">#</a></p><div class="doc"><p>Adds the correct LaTeX environment around a TeXMath fragment</p></div></div><div class="top"><p class="src"><a id="v:writeOMML" class="def">writeOMML</a> :: <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a> -> [<a href="Text-TeXMath.html#t:Exp">Exp</a>] -> <a href="file:///usr/share/doc/libghc-xml-doc/html/Text-XML-Light-Types.html#t:Element">Element</a> <a href="src/Text-TeXMath-Writers-OMML.html#writeOMML" class="link">Source</a> <a href="#v:writeOMML" class="selflink">#</a></p><div class="doc"><p>Transforms an expression tree to an OMML XML Tree</p></div></div><div class="top"><p class="src"><a id="v:writeMathML" class="def">writeMathML</a> :: <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a> -> [<a href="Text-TeXMath.html#t:Exp">Exp</a>] -> <a href="file:///usr/share/doc/libghc-xml-doc/html/Text-XML-Light-Types.html#t:Element">Element</a> <a href="src/Text-TeXMath-Writers-MathML.html#writeMathML" class="link">Source</a> <a href="#v:writeMathML" class="selflink">#</a></p><div class="doc"><p>Transforms an expression tree to a MathML XML tree</p></div></div><div class="top"><p class="src"><a id="v:writePandoc" class="def">writePandoc</a> :: <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a> -> [<a href="Text-TeXMath.html#t:Exp">Exp</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Maybe.html#t:Maybe">Maybe</a> [<a href="file:///usr/share/doc/libghc-pandoc-types-doc/html/Text-Pandoc-Definition.html#t:Inline">Inline</a>] <a href="src/Text-TeXMath-Writers-Pandoc.html#writePandoc" class="link">Source</a> <a href="#v:writePandoc" class="selflink">#</a></p><div class="doc"><p>Attempts to convert a formula to a list of <code><a href="file:///usr/share/doc/libghc-pandoc-types-doc/html/Text-Pandoc-Definition.html#t:Pandoc">Pandoc</a></code> inlines.</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:DisplayType" class="def">DisplayType</a> <a href="src/Text-TeXMath-Types.html#DisplayType" class="link">Source</a> <a href="#t:DisplayType" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:DisplayBlock" class="def">DisplayBlock</a></td><td class="doc"><p>A displayed formula.</p></td></tr><tr><td class="src"><a id="v:DisplayInline" class="def">DisplayInline</a></td><td class="doc"><p>A formula rendered inline in text.</p></td></tr></table></div><div class="subs instances"><p id="control.i:DisplayType" class="caption collapser" onclick="toggleSection('i:DisplayType')">Instances</p><div id="section.i:DisplayType" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:DisplayType:Eq:1" class="instance expander" onclick="toggleSection('i:id:DisplayType:Eq:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Eq.html#t:Eq">Eq</a> <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a></span> <a href="src/Text-TeXMath-Types.html#line-103" class="link">Source</a> <a href="#t:DisplayType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:DisplayType:Eq:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a> -> <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a> -> <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:DisplayType:Show:2" class="instance expander" onclick="toggleSection('i:id:DisplayType:Show:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:Show">Show</a> <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a></span> <a href="src/Text-TeXMath-Types.html#line-103" class="link">Source</a> <a href="#t:DisplayType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:DisplayType:Show:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Text-TeXMath.html#t:DisplayType">DisplayType</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Text-TeXMath.html#t:DisplayType">DisplayType</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Exp" class="def">Exp</a> <a href="src/Text-TeXMath-Types.html#Exp" class="link">Source</a> <a href="#t:Exp" class="selflink">#</a></p><div class="subs instances"><p id="control.i:Exp" class="caption collapser" onclick="toggleSection('i:Exp')">Instances</p><div id="section.i:Exp" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Exp:Eq:1" class="instance expander" onclick="toggleSection('i:id:Exp:Eq:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Eq.html#t:Eq">Eq</a> <a href="Text-TeXMath.html#t:Exp">Exp</a></span> <a href="src/Text-TeXMath-Types.html#line-93" class="link">Source</a> <a href="#t:Exp" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Exp:Eq:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Text-TeXMath.html#t:Exp">Exp</a> -> <a href="Text-TeXMath.html#t:Exp">Exp</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Text-TeXMath.html#t:Exp">Exp</a> -> <a href="Text-TeXMath.html#t:Exp">Exp</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Exp:Data:2" class="instance expander" onclick="toggleSection('i:id:Exp:Data:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> <a href="Text-TeXMath.html#t:Exp">Exp</a></span> <a href="src/Text-TeXMath-Types.html#line-93" class="link">Source</a> <a href="#t:Exp" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Exp:Data:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:gfoldl">gfoldl</a> :: (<span class="keyword">forall</span> d b. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d => c (d -> b) -> d -> c b) -> (<span class="keyword">forall</span> g. g -> c g) -> <a href="Text-TeXMath.html#t:Exp">Exp</a> -> c <a href="Text-TeXMath.html#t:Exp">Exp</a> <a href="#v:gfoldl" class="selflink">#</a></p><p class="src"><a href="#v:gunfold">gunfold</a> :: (<span class="keyword">forall</span> b r. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> b => c (b -> r) -> c r) -> (<span class="keyword">forall</span> r. r -> c r) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Constr">Constr</a> -> c <a href="Text-TeXMath.html#t:Exp">Exp</a> <a href="#v:gunfold" class="selflink">#</a></p><p class="src"><a href="#v:toConstr">toConstr</a> :: <a href="Text-TeXMath.html#t:Exp">Exp</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Constr">Constr</a> <a href="#v:toConstr" class="selflink">#</a></p><p class="src"><a href="#v:dataTypeOf">dataTypeOf</a> :: <a href="Text-TeXMath.html#t:Exp">Exp</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:DataType">DataType</a> <a href="#v:dataTypeOf" class="selflink">#</a></p><p class="src"><a href="#v:dataCast1">dataCast1</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a>) t => (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d => c (t d)) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (c <a href="Text-TeXMath.html#t:Exp">Exp</a>) <a href="#v:dataCast1" class="selflink">#</a></p><p class="src"><a href="#v:dataCast2">dataCast2</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a>) t => (<span class="keyword">forall</span> d e. (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> e) => c (t d e)) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (c <a href="Text-TeXMath.html#t:Exp">Exp</a>) <a href="#v:dataCast2" class="selflink">#</a></p><p class="src"><a href="#v:gmapT">gmapT</a> :: (<span class="keyword">forall</span> b. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> b => b -> b) -> <a href="Text-TeXMath.html#t:Exp">Exp</a> -> <a href="Text-TeXMath.html#t:Exp">Exp</a> <a href="#v:gmapT" class="selflink">#</a></p><p class="src"><a href="#v:gmapQl">gmapQl</a> :: (r -> r' -> r) -> r -> (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d => d -> r') -> <a href="Text-TeXMath.html#t:Exp">Exp</a> -> r <a href="#v:gmapQl" class="selflink">#</a></p><p class="src"><a href="#v:gmapQr">gmapQr</a> :: (r' -> r -> r) -> r -> (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d => d -> r') -> <a href="Text-TeXMath.html#t:Exp">Exp</a> -> r <a href="#v:gmapQr" class="selflink">#</a></p><p class="src"><a href="#v:gmapQ">gmapQ</a> :: (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d => d -> u) -> <a href="Text-TeXMath.html#t:Exp">Exp</a> -> [u] <a href="#v:gmapQ" class="selflink">#</a></p><p class="src"><a href="#v:gmapQi">gmapQi</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d => d -> u) -> <a href="Text-TeXMath.html#t:Exp">Exp</a> -> u <a href="#v:gmapQi" class="selflink">#</a></p><p class="src"><a href="#v:gmapM">gmapM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> m => (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d => d -> m d) -> <a href="Text-TeXMath.html#t:Exp">Exp</a> -> m <a href="Text-TeXMath.html#t:Exp">Exp</a> <a href="#v:gmapM" class="selflink">#</a></p><p class="src"><a href="#v:gmapMp">gmapMp</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m => (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d => d -> m d) -> <a href="Text-TeXMath.html#t:Exp">Exp</a> -> m <a href="Text-TeXMath.html#t:Exp">Exp</a> <a href="#v:gmapMp" class="selflink">#</a></p><p class="src"><a href="#v:gmapMo">gmapMo</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m => (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d => d -> m d) -> <a href="Text-TeXMath.html#t:Exp">Exp</a> -> m <a href="Text-TeXMath.html#t:Exp">Exp</a> <a href="#v:gmapMo" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Exp:Read:3" class="instance expander" onclick="toggleSection('i:id:Exp:Read:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Read.html#t:Read">Read</a> <a href="Text-TeXMath.html#t:Exp">Exp</a></span> <a href="src/Text-TeXMath-Types.html#line-93" class="link">Source</a> <a href="#t:Exp" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Exp:Read:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:readsPrec">readsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> <a href="Text-TeXMath.html#t:Exp">Exp</a> <a href="#v:readsPrec" class="selflink">#</a></p><p class="src"><a href="#v:readList">readList</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> [<a href="Text-TeXMath.html#t:Exp">Exp</a>] <a href="#v:readList" class="selflink">#</a></p><p class="src"><a href="#v:readPrec">readPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> <a href="Text-TeXMath.html#t:Exp">Exp</a> <a href="#v:readPrec" class="selflink">#</a></p><p class="src"><a href="#v:readListPrec">readListPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> [<a href="Text-TeXMath.html#t:Exp">Exp</a>] <a href="#v:readListPrec" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Exp:Show:4" class="instance expander" onclick="toggleSection('i:id:Exp:Show:4')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:Show">Show</a> <a href="Text-TeXMath.html#t:Exp">Exp</a></span> <a href="src/Text-TeXMath-Types.html#line-93" class="link">Source</a> <a href="#t:Exp" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Exp:Show:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Text-TeXMath.html#t:Exp">Exp</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Text-TeXMath.html#t:Exp">Exp</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Text-TeXMath.html#t:Exp">Exp</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.2</p></div></body></html>
|