File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -62,7 +62,7 @@ use crate::*;
62
62
/// ```
63
63
///
64
64
/// [`FromStr`]: std::str::FromStr
65
- #[ derive( Debug , PartialEq , Eq , Clone ) ]
65
+ #[ derive( Debug , Clone , PartialEq , Eq ) ]
66
66
pub struct Pattern < L > {
67
67
/// The actual pattern as a [`RecExpr`]
68
68
pub ast : PatternAst < L > ,
Original file line number Diff line number Diff line change @@ -398,7 +398,7 @@ where
398
398
///
399
399
/// [`apply_one`]: Applier::apply_one()
400
400
/// [`check`]: Condition::check()
401
- #[ derive( Clone , Debug ) ]
401
+ #[ derive( Clone , Debug , PartialEq , Eq ) ]
402
402
pub struct ConditionalApplier < C , A > {
403
403
/// The [`Condition`] to [`check`] before calling [`apply_one`] on
404
404
/// `applier`.
@@ -493,7 +493,7 @@ where
493
493
/// This condition adds its two [`Pattern`] to the egraph and passes
494
494
/// if and only if they are equivalent (in the same eclass).
495
495
///
496
- #[ derive( Debug ) ]
496
+ #[ derive( Debug , Clone , PartialEq , Eq ) ]
497
497
pub struct ConditionEqual < L > {
498
498
p1 : Pattern < L > ,
499
499
p2 : Pattern < L > ,
You can’t perform that action at this time.
0 commit comments