diff options
Diffstat (limited to 'src/algebra/rule.spad.pamphlet')
| -rw-r--r-- | src/algebra/rule.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/rule.spad.pamphlet b/src/algebra/rule.spad.pamphlet index 6b089035..74771fd6 100644 --- a/src/algebra/rule.spad.pamphlet +++ b/src/algebra/rule.spad.pamphlet @@ -19,7 +19,7 @@ ++ Keywords: pattern, matching, rule. RewriteRule(Base, R, F): Exports == Implementation where Base : SetCategory - R : Join(Ring, PatternMatchable Base, OrderedSet, + R : Join(Ring, PatternMatchable Base, ConvertibleTo Pattern Base) F : Join(FunctionSpace R, PatternMatchable Base, ConvertibleTo Pattern Base) @@ -155,7 +155,7 @@ RewriteRule(Base, R, F): Exports == Implementation where ++ Keywords: pattern, matching, rule. ApplyRules(Base, R, F): Exports == Implementation where Base : SetCategory - R : Join(Ring, PatternMatchable Base, OrderedSet, + R : Join(Ring, PatternMatchable Base, ConvertibleTo Pattern Base) F : Join(FunctionSpace R, PatternMatchable Base, ConvertibleTo Pattern Base) @@ -275,7 +275,7 @@ ApplyRules(Base, R, F): Exports == Implementation where ++ Keywords: pattern, matching, rule. Ruleset(Base, R, F): Exports == Implementation where Base : SetCategory - R : Join(Ring, PatternMatchable Base, OrderedSet, + R : Join(Ring, PatternMatchable Base, ConvertibleTo Pattern Base) F : Join(FunctionSpace R, PatternMatchable Base, ConvertibleTo Pattern Base) |