Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Synopsis
- fromDerivation :: (ToAttribute e, Show e) => Derivation (Rule (Context e)) (Context e) -> Maybe [Attribute]
- fromRule :: ToAttribute e => Rule (Context e) -> Context e -> Context e -> Maybe Attribute
- class ToAttribute e
Documentation
fromDerivation :: (ToAttribute e, Show e) => Derivation (Rule (Context e)) (Context e) -> Maybe [Attribute] Source #
For each step in a given derivation produce an attribute
fromRule :: ToAttribute e => Rule (Context e) -> Context e -> Context e -> Maybe Attribute Source #
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 Source #
Type class for relating Ideas rules to Attributes for different types.
toAttribute
Instances
ToAttribute Expr Source # | |
Defined in Recognize.Strategy.Derivation | |
ToAttribute (Relation Expr) Source # | |