module Text.TeXMath ( texMathToMathML,
texMathToOMML,
texMathToPandoc,
mathMLToOMML,
mathMLToPandoc,
mathMLToLaTeX,
readMathML,
readTeXMath,
toTeXMath,
toOMML,
toMathML,
DisplayType(..),
)
where
import Text.TeXMath.Parser
import Text.TeXMath.MathMLParser
import Text.TeXMath.MathML
import Text.TeXMath.OMML
import Text.TeXMath.Pandoc
import Text.TeXMath.LaTeX
import Text.TeXMath.Types
import Text.XML.Light
import Text.Pandoc.Definition
import Control.Applicative ((<$>))
import Data.Maybe (fromMaybe)
texMathToMathML :: DisplayType -> String -> Either String Element
texMathToMathML dt inp = inp `seq`
toMathML dt <$> readTeXMath inp
texMathToOMML :: DisplayType -> String -> Either String Element
texMathToOMML dt inp = inp `seq`
toOMML dt <$> readTeXMath inp
texMathToPandoc :: DisplayType -> String -> Either String [Inline]
texMathToPandoc dt inp = inp `seq`
fromMaybe fallback . toPandoc dt <$> readTeXMath inp
where fallback = [Str $ delim ++ inp ++ delim]
delim = case dt of { DisplayInline -> "$"; DisplayBlock -> "$$" }
mathMLToOMML :: DisplayType -> String -> Either String Element
mathMLToOMML dt inp = inp `seq`
(toOMML dt) <$> readMathML inp
mathMLToPandoc :: DisplayType -> String -> Either String [Inline]
mathMLToPandoc dt inp = inp `seq`
fromMaybe fallback . toPandoc dt <$> readMathML inp
where fallback = [Str $ delim ++ inp ++ delim]
delim = case dt of { DisplayInline -> "$"; DisplayBlock -> "$$" }
mathMLToLaTeX :: DisplayType -> String -> Either String Inline
mathMLToLaTeX dt inp = inp `seq`
rt =<< (toTeXMath dt <$> readMathML inp)
where
mathType = case dt of { DisplayInline -> InlineMath;
DisplayBlock -> DisplayMath }
rt s = case s of
"" -> Left "Conversion resulted in empty string"
_ -> Right $ Math mathType s