Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Defines the Math
type and closely associated functions.
Synopsis
- ppExpr :: Expr -> String
- isFunctionDefinition :: Expr -> Bool
- isDefinition :: Expr -> Bool
- data Math = M {}
- newtype MathParseError = 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
- getRelation :: Monad m => Math -> m (Relation Expr)
- getRelationE :: Monad m => Expr -> m (Relation Expr)
- 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
Documentation
isFunctionDefinition :: Expr -> Bool Source #
isDefinition :: Expr -> Bool Source #
newtype MathParseError Source #
Instances
Eq MathParseError Source # | |
Defined in Recognize.Data.Math (==) :: MathParseError -> MathParseError -> Bool # (/=) :: MathParseError -> MathParseError -> Bool # | |
Show MathParseError Source # | |
Defined in Recognize.Data.Math showsPrec :: Int -> MathParseError -> ShowS # show :: MathParseError -> String # showList :: [MathParseError] -> ShowS # | |
Arbitrary MathParseError Source # | |
Defined in Recognize.Data.Math arbitrary :: Gen MathParseError # shrink :: MathParseError -> [MathParseError] # | |
ToXML MathParseError Source # | |
Defined in Recognize.Data.Math toXML :: MathParseError -> XML # listToXML :: [MathParseError] -> XML # | |
InXML MathParseError Source # | |
Defined in Recognize.Data.Math fromXML :: Monad m => XML -> m MathParseError # listFromXML :: Monad m => XML -> m [MathParseError] # |
mathListHtml :: [Math] -> HTMLBuilder Source #
isParseError :: Math -> Bool Source #
showMathList :: [Math] -> String Source #
isChainedEqSymbol :: Symbol -> Bool Source #
isChainedEq :: Expr -> Bool Source #
isFunctionCallSymbol :: Symbol -> Bool Source #
isFunctionCall :: Expr -> Bool Source #