E.Rules

Documentation

data ARules

Instances

Show ARules

ARules contains a set of rules for a single id, optimized for fast application

invarients for ARules sorted by number of arguments rule takes all hidden rule fields filled in free variables are up to date

Monoid ARules

Binary ARules

data Rule

Constructors

Rule TVr [TVr] [E] !Int E RuleType (Module, Int) Atom

Instances

Eq Rule

Show Rule

Binary Rule

data RuleType

Constructors

RuleSpecialization

RuleUser

RuleCatalyst

Instances

Eq RuleType

Binary RuleType

newtype Rules

Constructors

Rules (IdMap [Rule])

Instances

Monoid Rules

Binary Rules

HasSize Rules

IsEmpty Rules

applyRules :: MonadStats m => (Id -> Maybe E) -> ARules -> [E] -> m (Maybe (E, [E]))

arules :: [Rule] -> ARules

builtinRule :: MonadStats m => TVr' t -> [E] -> m (Maybe (E, [E]))

dropArguments :: [(Int, E)] -> [Rule] -> [Rule]

fromRules :: [Rule] -> Rules

ruleUpdate :: Rule -> Rule

mapRBodyArgs :: Monad m => (E -> m E) -> Rule -> m Rule

makeRule

Arguments

:: String

the rule name

-> (Module, Int)

a unique name for this rule

-> RuleType

type of rule

-> [TVr]

the free variables

-> TVr

the head

-> [E]

the args

-> E

the body

-> Rule

mapBodies :: Monad m => (E -> m E) -> Rules -> m Rules

printRules :: RuleType -> Rules -> IO ()

rulesFromARules :: ARules -> [Rule]