Skip to main content

SizedSolverRule

Trait SizedSolverRule 

Source
pub trait SizedSolverRule:
    Sized
    + Debug
    + Send
    + Sync
    + Any
    + Clone
    + PartialEq
    + Eq {
    // Required method
    fn display(&self) -> Vec<Displayable>;

    // Provided method
    fn priority(&self) -> isize { ... }
}

Required Methodsยง

Provided Methodsยง

Source

fn priority(&self) -> isize

Dyn Compatibilityยง

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementorsยง

Sourceยง

impl SizedSolverRule for BinLRule

Sourceยง

impl SizedSolverRule for BinRRule

Sourceยง

impl SizedSolverRule for ConjunctiveRule

Sourceยง

impl SizedSolverRule for IsConjunctionRule

Sourceยง

impl SizedSolverRule for PairwiseConjunctiveRule

Sourceยง

impl SizedSolverRule for PrenexRule

Sourceยง

impl SizedSolverRule for ReorderRule

Sourceยง

impl SizedSolverRule for ImplicitRule

Sourceยง

impl SizedSolverRule for BindInApplyRule

Sourceยง

impl SizedSolverRule for BindInComputationRule

Sourceยง

impl SizedSolverRule for BindInInferenceRule

Sourceยง

impl SizedSolverRule for BindInInhabitableRule

Sourceยง

impl SizedSolverRule for IntersectionTypeInhabitable

Sourceยง

impl SizedSolverRule for LetinComputation

Sourceยง

impl SizedSolverRule for AdditionRule

Sourceยง

impl SizedSolverRule for DivisionRule

Sourceยง

impl SizedSolverRule for ExponentiationRule

Sourceยง

impl SizedSolverRule for LessThan

Sourceยง

impl SizedSolverRule for Logarithm

Sourceยง

impl SizedSolverRule for Max

Sourceยง

impl SizedSolverRule for MultiplicationRule

Sourceยง

impl SizedSolverRule for NumberRule

Sourceยง

impl SizedSolverRule for NumberTypes

Sourceยง

impl SizedSolverRule for SubtractionRule

Sourceยง

impl SizedSolverRule for ApplyRule

Sourceยง

impl SizedSolverRule for ArrowRule

Sourceยง

impl SizedSolverRule for BetaRule

Sourceยง

impl SizedSolverRule for LambdaPiCheckingRule

Sourceยง

impl SizedSolverRule for LambdaPiInferenceRule

Sourceยง

impl SizedSolverRule for NeedsTypeRule

Sourceยง

impl SizedSolverRule for PiInferenceRule

Sourceยง

impl SizedSolverRule for PiInhabitableRule

Sourceยง

impl SizedSolverRule for PiUniverseRule

Sourceยง

impl SizedSolverRule for PiVarianceRule

Sourceยง

impl SizedSolverRule for InferredTypeSimplificationRule

Sourceยง

impl SizedSolverRule for SimpleTypeOperatorRule

Sourceยง

impl SizedSolverRule for Subtyping

Sourceยง

impl SizedSolverRule for AnyRule

Sourceยง

impl SizedSolverRule for ComplexInhabitableRule

Sourceยง

impl SizedSolverRule for ComplexUniverseRule

Sourceยง

impl SizedSolverRule for SimpleInhabitableRule

Sourceยง

impl SizedSolverRule for SimpleUniverseRule

Sourceยง

impl SizedSolverRule for FoldInferenceRule

Sourceยง

impl SizedSolverRule for MapArgumentSimplificationRule

Sourceยง

impl SizedSolverRule for MapIndexSimplificationRule

Sourceยง

impl SizedSolverRule for MapInferenceRule

Sourceยง

impl SizedSolverRule for MapInhabitableRule

Sourceยง

impl SizedSolverRule for MapSimplificationRule

Sourceยง

impl SizedSolverRule for SeqConcatInferenceRule

Sourceยง

impl SizedSolverRule for SeqIndexRule

Sourceยง

impl SizedSolverRule for SeqInferenceRule

Sourceยง

impl SizedSolverRule for SeqUniverseRule

Sourceยง

impl SizedSolverRule for CommentRule

Sourceยง

impl SizedSolverRule for HOASRule

Sourceยง

impl SizedSolverRule for IsJudgmentRule

Sourceยง

impl SizedSolverRule for GenericBindPrep

Sourceยง

impl SizedSolverRule for GenericEquality

Sourceยง

impl SizedSolverRule for GenericInhabitable

Sourceยง

impl SizedSolverRule for GenericProof

Sourceยง

impl SizedSolverRule for GenericSimplification

Sourceยง

impl SizedSolverRule for GenericSubtyping

Sourceยง

impl SizedSolverRule for GenericTyping

Sourceยง

impl SizedSolverRule for GenericUniverse

Sourceยง

impl SizedSolverRule for UnknownsRule

Sourceยง

impl<Split: SplitStrategy> SizedSolverRule for PiExtensionRule<Split>