Recognize.Data.Op

Documentation

data Op

Describe how to expand a formula

Constructors

Add Expr

Sub Expr

Mul Expr

Div Expr

Instances

Eq Op

Defined in Recognize.Data.Op

Methods

(==) :: Op -> Op -> Bool

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

Ord Op

Defined in Recognize.Data.Op

Methods

compare :: Op -> Op -> Ordering

(<) :: Op -> Op -> Bool

(<=) :: Op -> Op -> Bool

(>) :: Op -> Op -> Bool

(>=) :: Op -> Op -> Bool

max :: Op -> Op -> Op

min :: Op -> Op -> Op

Read Op

Defined in Recognize.Data.Op

Methods

readsPrec :: Int -> ReadS Op

readList :: ReadS [Op]

readPrec :: ReadPrec Op

readListPrec :: ReadPrec [Op]

Show Op

Defined in Recognize.Data.Op

Methods

showsPrec :: Int -> Op -> ShowS

show :: Op -> String

showList :: [Op] -> ShowS

Arbitrary Op

Defined in Recognize.Data.Op

Methods

arbitrary :: Gen Op

shrink :: Op -> [Op]

ToXML Op

Defined in Recognize.Data.Op

Methods

toXML :: Op -> XML

listToXML :: [Op] -> XML

InXML Op

Defined in Recognize.Data.Op

Methods

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

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

fromOp :: Op -> Expr -> Expr

Apply an Op to and Expr

fromOp' :: Op -> Expr -> Expr

fromOp' op e applies operator op in the most bottom-right term (when op = div/mul) of e. eg: fromOp' (3) (4 + 2) = (4 + 23)

nestRight :: Op -> Expr -> Expr

fromOps :: [Op] -> Expr -> Expr

substOp :: Expr -> Op -> Op

substitute :: Expr -> Expr -> Expr

formExpr :: Expr -> Expr -> [Op] -> Expr