pub enum RefinementPlan {
Stay,
Apply(RefinementPass),
}Expand description
Pure per-graph decision for the next catalog-ordered refinement.
Variants§
Stay
Every M9 pass is already recorded on the graph.
Apply(RefinementPass)
Apply the first catalog-ranked pass not yet recorded.
Trait Implementations§
Source§impl Clone for RefinementPlan
impl Clone for RefinementPlan
impl Copy for RefinementPlan
Source§impl Debug for RefinementPlan
impl Debug for RefinementPlan
impl Eq for RefinementPlan
Source§impl PartialEq for RefinementPlan
impl PartialEq for RefinementPlan
impl StructuralPartialEq for RefinementPlan
Auto Trait Implementations§
impl Freeze for RefinementPlan
impl RefUnwindSafe for RefinementPlan
impl Send for RefinementPlan
impl Sync for RefinementPlan
impl Unpin for RefinementPlan
impl UnsafeUnpin for RefinementPlan
impl UnwindSafe for RefinementPlan
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more