Recognize.Data.RuleId

This is an important module that Recognize.Strategy.Derivation relies on. Here we define the translation from Ideas rule identifiers to our own RuleId type. If you want to add new rules in Recognize.Strategy.Derivation make sure to also add a new translation here.

Documentation

data RuleId

Constructors

Collect_Num

Collect_Var

Times

Power

Division

Distr_Times

Distr_Division

Coverup_OneVar_Plus

Coverup_Times_Positive

Instances

Eq RuleId

Defined in Recognize.Data.RuleId

Methods

(==) :: RuleId -> RuleId -> Bool

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

Ord RuleId

Defined in Recognize.Data.RuleId

Methods

compare :: RuleId -> RuleId -> Ordering

(<) :: RuleId -> RuleId -> Bool

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

(>) :: RuleId -> RuleId -> Bool

(>=) :: RuleId -> RuleId -> Bool

max :: RuleId -> RuleId -> RuleId

min :: RuleId -> RuleId -> RuleId

Show RuleId

Defined in Recognize.Data.RuleId

Methods

showsPrec :: Int -> RuleId -> ShowS

show :: RuleId -> String

showList :: [RuleId] -> ShowS

matchRuleId :: String -> Maybe RuleId