Recognize.Data.Math

Defines the Math type and closely associated functions.

Documentation

ppExpr :: Expr -> String

isFunctionDefinition :: Expr -> Bool

isDefinition :: Expr -> Bool

data Math

Constructors

M

Fields

• getString :: String

  original parsed string

• getResult :: Either MathParseError Expr

  Either a parse error or a successfully parsed expression

Instances

Eq Math

Defined in Recognize.Data.Math

Methods

(==) :: Math -> Math -> Bool

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

Show Math

Defined in Recognize.Data.Math

Methods

showsPrec :: Int -> Math -> ShowS

show :: Math -> String

showList :: [Math] -> ShowS

Arbitrary Math

Defined in Recognize.Data.Math

Methods

arbitrary :: Gen Math

shrink :: Math -> [Math]

ToHTML Math

Defined in Recognize.Data.Math

Methods

toHTML :: Math -> HTMLBuilder

listToHTML :: [Math] -> HTMLBuilder

ToXML Math

Defined in Recognize.Data.Math

Methods

toXML :: Math -> XML

listToXML :: [Math] -> XML

InXML Math

Defined in Recognize.Data.Math

Methods

fromXML :: Monad m => XML -> m Math

listFromXML :: Monad m => XML -> m [Math]

ToXML (Math, [Attribute])

Defined in Recognize.Data.Step

Methods

toXML :: (Math, [Attribute]) -> XML

listToXML :: [(Math, [Attribute])] -> XML

newtype MathParseError

Constructors

MathParseError

Fields

• asString :: String

Instances

Eq MathParseError

Defined in Recognize.Data.Math

Methods

(==) :: MathParseError -> MathParseError -> Bool

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

Show MathParseError

Defined in Recognize.Data.Math

Methods

showsPrec :: Int -> MathParseError -> ShowS

show :: MathParseError -> String

showList :: [MathParseError] -> ShowS

Arbitrary MathParseError

Defined in Recognize.Data.Math

Methods

arbitrary :: Gen MathParseError

shrink :: MathParseError -> [MathParseError]

ToXML MathParseError

Defined in Recognize.Data.Math

Methods

toXML :: MathParseError -> XML

listToXML :: [MathParseError] -> XML

InXML MathParseError

Defined in Recognize.Data.Math

Methods

fromXML :: Monad m => XML -> m MathParseError

listFromXML :: Monad m => XML -> m [MathParseError]

arbitraryPrintable :: Gen String

mathListHtml :: [Math] -> HTMLBuilder

isParseError :: Math -> Bool

printMath :: Math -> String

makeMath :: Expr -> Math

showMathList :: [Math] -> String

getExpr :: Monad m => Math -> m Expr

Returns the parsed expression or fails

getRelation :: Monad m => Math -> m (Relation Expr)

Returns the parsed relation or fails

getRelationE :: Monad m => Expr -> m (Relation Expr)

Returns the parsed relation or fails

getEq :: Monad m => Math -> m (Equation Expr)

getEqE :: Monad m => Expr -> m (Equation Expr)

getChainedEq :: Monad m => Math -> m [Expr]

isEq :: Expr -> Bool

chainedEqSymbol :: Symbol

functionCallSymbol :: Symbol

isChainedEqSymbol :: Symbol -> Bool

isChainedEq :: Expr -> Bool

isFunctionCallSymbol :: Symbol -> Bool

isFunctionCall :: Expr -> Bool