Recognize.Strategy.Derivation

Documentation

fromDerivation :: (ToAttribute e, Show e) => Derivation (Rule (Context e)) (Context e) -> Maybe [Attribute]

For each step in a given derivation produce an attribute

fromRule :: ToAttribute e => Rule (Context e) -> Context e -> Context e -> Maybe Attribute

Given a rule, some type that the rule is applied to and the same type that is the result after applying the rule produce an attribute describing this rule.

class ToAttribute e

Type class for relating Ideas rules to Attributes for different types.

Minimal complete definition

toAttribute

Instances

ToAttribute Expr

Defined in Recognize.Strategy.Derivation

Methods

toAttribute :: RuleId -> Context Expr -> Context Expr -> Maybe Attribute

ToAttribute (Relation Expr)

Defined in Recognize.Strategy.Derivation

Methods

toAttribute :: RuleId -> Context (Relation Expr) -> Context (Relation Expr) -> Maybe Attribute