Language.Egison.PrettyMath.AST

Description

Documentation

Constructors

Instances details

Show MathExpr Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods showsPrec :: Int -> MathExpr -> ShowS # show :: MathExpr -> String # showList :: [MathExpr] -> ShowS #
Eq MathExpr Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods (==) :: MathExpr -> MathExpr -> Bool # (/=) :: MathExpr -> MathExpr -> Bool #

Constructors

Super MathExpr
Sub MathExpr

Instances details

Show MathIndex Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods showsPrec :: Int -> MathIndex -> ShowS # show :: MathIndex -> String # showList :: [MathIndex] -> ShowS #
Eq MathIndex Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods (==) :: MathIndex -> MathIndex -> Bool # (/=) :: MathIndex -> MathIndex -> Bool #

Methods

Instances details

ToMathExpr EgisonValue Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods toMathExpr :: EgisonValue -> MathExpr Source #
ToMathExpr PolyExpr Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods toMathExpr :: PolyExpr -> MathExpr Source #
ToMathExpr ScalarData Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods toMathExpr :: ScalarData -> MathExpr Source #
ToMathExpr SymbolExpr Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods toMathExpr :: SymbolExpr -> MathExpr Source #
ToMathExpr TermExpr Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods toMathExpr :: TermExpr -> MathExpr Source #
ToMathExpr Integer Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods toMathExpr :: Integer -> MathExpr Source #
ToMathExpr a => ToMathExpr (Tensor a) Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods toMathExpr :: Tensor a -> MathExpr Source #
ToMathExpr (SymbolExpr, Integer) Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods toMathExpr :: (SymbolExpr, Integer) -> MathExpr Source #