Language.Egison.PrettyMath.AST

Description

Documentation

Constructors

Instances details

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

Constructors

Super MathExpr
Sub MathExpr

Instances details

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

Methods

Instances details

ToMathExpr Integer Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods toMathExpr :: Integer -> 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 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 EgisonValue Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods toMathExpr :: EgisonValue -> 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 #