{-# LANGUAGE DeriveDataTypeable #-} {- Copyright (C) 2009 John MacFarlane This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA -} {- | Types for representing a structured formula. -} module Text.TeXMath.Types (Exp(..), TeXSymbolType(..), ArrayLine, TextType(..), Alignment(..), DisplayType(..), Operator(..), FormType(..), Record(..), Position(..) ) where import Data.Generics data TeXSymbolType = Ord | Op | Bin | Rel | Open | Close | Pun | Accent deriving (Show, Read, Eq, Data, Typeable) data Alignment = AlignLeft | AlignCenter | AlignRight | AlignDefault deriving (Show, Read, Eq, Data, Typeable) type ArrayLine = [[Exp]] data Exp = ENumber String | EGrouped [Exp] | EDelimited String String [Exp] | EIdentifier String | EMathOperator String | ESymbol TeXSymbolType String | ESpace String | EBinary String Exp Exp | ESub Exp Exp | ESuper Exp Exp | ESubsup Exp Exp Exp | EOver Exp Exp | EUnder Exp Exp | EUnderover Exp Exp Exp | EUp Exp Exp | EDown Exp Exp | EDownup Exp Exp Exp | EUnary String Exp | EScaled String Exp | EStretchy Exp | EArray [Alignment] [ArrayLine] | EText TextType String deriving (Show, Read, Eq, Data, Typeable) data DisplayType = DisplayBlock | DisplayInline deriving Show data TextType = TextNormal | TextBold | TextItalic | TextMonospace | TextSansSerif | TextDoubleStruck | TextScript | TextFraktur | TextBoldItalic | TextBoldSansSerif | TextBoldSansSerifItalic | TextBoldScript | TextBoldFraktur | TextSansSerifItalic deriving (Show, Ord, Read, Eq, Data, Typeable) data FormType = FPrefix | FPostfix | FInfix deriving (Show, Ord, Eq) type Property = String data Position = Under | Over -- | A record of the MathML dictionary as defined -- data Operator = Operator { oper :: String -- ^ Operator , description :: String -- ^ Plain English Description , form :: FormType -- ^ Whether Prefix, Postfix or Infix , priority :: Int -- ^ Default priority for implicit -- nesting , lspace :: Int -- ^ Default Left Spacing , rspace :: Int -- ^ Default Right Spacing , properties :: [Property] -- ^ List of MathML properties } deriving (Show) -- | A record of the Unicode to LaTeX lookup table -- a full descripton can be seen -- data Record = Record { point :: String -- ^ Hex value , uchar :: Char -- ^ Unicode Character , latex :: String -- ^ LaTeX command , unicodemath :: String -- ^ Unicode-Math package command , cls :: String -- ^ Unicode math character class , category :: String -- ^ TeX math category , requirements :: String -- ^ Required packages , comments :: String -- ^ Alternative commands and -- description } deriving (Show)