Language.Egison.PrettyMath.AST

Documentation

data MathExpr

Constructors

Atom String [MathIndex]

NegativeAtom String

Plus [MathExpr]

Multiply [MathExpr]

Div MathExpr MathExpr

Power MathExpr MathExpr

Func MathExpr [MathExpr]

Tensor [MathExpr] [MathIndex]

Tuple [MathExpr]

Collection [MathExpr]

Quote MathExpr

Partial MathExpr [MathExpr]

Instances

Eq MathExpr

Defined in Language.Egison.PrettyMath.AST

Methods

(==) :: MathExpr -> MathExpr -> Bool

(/=) :: MathExpr -> MathExpr -> Bool

Show MathExpr

Defined in Language.Egison.PrettyMath.AST

Methods

showsPrec :: Int -> MathExpr -> ShowS

show :: MathExpr -> String

showList :: [MathExpr] -> ShowS

data MathIndex

Constructors

Super MathExpr

Sub MathExpr

Instances

Eq MathIndex

Defined in Language.Egison.PrettyMath.AST

Methods

(==) :: MathIndex -> MathIndex -> Bool

(/=) :: MathIndex -> MathIndex -> Bool

Show MathIndex

Defined in Language.Egison.PrettyMath.AST

Methods

showsPrec :: Int -> MathIndex -> ShowS

show :: MathIndex -> String

showList :: [MathIndex] -> ShowS

class ToMathExpr a where

Methods

toMathExpr :: a -> MathExpr

Instances

ToMathExpr Integer

Defined in Language.Egison.PrettyMath.AST

Methods

toMathExpr :: Integer -> MathExpr

ToMathExpr SymbolExpr

Defined in Language.Egison.PrettyMath.AST

Methods

toMathExpr :: SymbolExpr -> MathExpr

ToMathExpr TermExpr

Defined in Language.Egison.PrettyMath.AST

Methods

toMathExpr :: TermExpr -> MathExpr

ToMathExpr PolyExpr

Defined in Language.Egison.PrettyMath.AST

Methods

toMathExpr :: PolyExpr -> MathExpr

ToMathExpr ScalarData

Defined in Language.Egison.PrettyMath.AST

Methods

toMathExpr :: ScalarData -> MathExpr

ToMathExpr EgisonValue

Defined in Language.Egison.PrettyMath.AST

Methods

toMathExpr :: EgisonValue -> MathExpr

ToMathExpr a => ToMathExpr (Tensor a)

Defined in Language.Egison.PrettyMath.AST

Methods

toMathExpr :: Tensor a -> MathExpr

ToMathExpr (SymbolExpr, Integer)

Defined in Language.Egison.PrettyMath.AST

Methods

toMathExpr :: (SymbolExpr, Integer) -> MathExpr

isSub :: MathIndex -> Bool

parseExpr :: Parser MathExpr