Recognize.SubExpr.SEParser

SubExpression Parser

type SEParser = ParserT SEState Math Identity

get :: MonadState s m => m s

Return the state from the internals of the monad.

put :: MonadState s m => s -> m ()

Replace the state inside the monad.

gets :: MonadState s m => (s -> a) -> m a

Gets specific component of the state, using a projection function supplied.

modify :: MonadState s m => (s -> s) -> m ()

Monadic state transformer.

Maps an old state to a new state inside a state monad. The old state is thrown away.

     Main> :t modify ((+1) :: Int -> Int)
     modify (...) :: (MonadState Int a) => a ()

This says that modify (+1) acts over any Monad that is a member of the MonadState class, with an Int state.

seParse :: SEParser a -> [Math] -> Maybe a

User state

data SEState

The user state of the subexpression recognizer

It carries parameters for the recognizer, mapping of vars to expressions and other information

Constructors

SEState

Fields

• optGrow :: Bool
• growF :: Expr -> Expr
• optIterate :: Bool
• optTraverse :: Bool
• optSimplify :: Bool

  Allow simplification of mother expression

• optSkipOnce :: Bool
• chainedEquations :: Bool
• precision :: Int
• matchings :: Set Expr
• usedVariables :: Map String Expr
• inputType :: Maybe [InputType]

  Type of expressions that may be parsed

• matchPredicate :: Expr -> Bool

getVarKey :: Expr -> SEParser String

addMatching :: Expr -> SEParser ()

Input type

data InputType

Describes some math type

Constructors

Expr

Definition

Equation

LinearWithType RelationType

Linear

Instances

Eq InputType

Defined in Recognize.SubExpr.SEParser

Methods

(==) :: InputType -> InputType -> Bool

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

Show InputType

Defined in Recognize.SubExpr.SEParser

Methods

showsPrec :: Int -> InputType -> ShowS

show :: InputType -> String

showList :: [InputType] -> ShowS

determineInputType :: Expr -> InputType

Determine the input type of the given expression

conformsTo :: Expr -> InputType -> Bool

Given an expression, check whether it matches the specified input type.

resetAfter :: SEParser a -> SEParser a

Reset the user state to dSEState after executing the parser

resetSEState :: SEParser SEState

Reset the user state to dSEState. Returns the user state before resetting.