Maintainer	bastiaan.heeren@ou.nl
Stability	provisional
Portability	portable (depends on ghc)
Safe Haskell	Safe
Language	Haskell98

Recognize.Data.RuleId

Description

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 Source #

Constructors

Collect_Num
Collect_Var
Times
Power
Division
Distr_Times
Distr_Division
Coverup_OneVar_Plus
Coverup_Times_Positive

Instances

Eq RuleId Source #
Instance details Defined in Recognize.Data.RuleId Methods (==) :: RuleId -> RuleId -> Bool # (/=) :: RuleId -> RuleId -> Bool #
Ord RuleId Source #
Instance details 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 Source #
Instance details Defined in Recognize.Data.RuleId Methods showsPrec :: Int -> RuleId -> ShowS # show :: RuleId -> String # showList :: [RuleId] -> ShowS #

matchRuleId :: String -> Maybe RuleId Source #