Constrainable

casuarius

Trait Constrainable 

Source 
pub trait Constrainable<Var>
where
    Var: Sized,
    Self: Sized,
{
    // Required methods
    fn equal_to<X>(self, x: X) -> Constraint<Var>
       where X: Into<Expression<Var>> + Clone;
    fn greater_than_or_equal_to<X>(self, x: X) -> Constraint<Var>
       where X: Into<Expression<Var>> + Clone;
    fn less_than_or_equal_to<X>(self, x: X) -> Constraint<Var>
       where X: Into<Expression<Var>> + Clone;

    // Provided methods
    fn is<X>(self, x: X) -> Constraint<Var>
       where X: Into<Expression<Var>> + Clone { ... }
    fn is_ge<X>(self, x: X) -> Constraint<Var>
       where X: Into<Expression<Var>> + Clone { ... }
    fn is_le<X>(self, x: X) -> Constraint<Var>
       where X: Into<Expression<Var>> + Clone { ... }
}
Expand description

A trait for creating constraints using custom variable types.

Required Methods§

Source

fn equal_to<X>(self, x: X) -> Constraint<Var>
where X: Into<Expression<Var>> + Clone,

Source

fn greater_than_or_equal_to<X>(self, x: X) -> Constraint<Var>
where X: Into<Expression<Var>> + Clone,

Source

fn less_than_or_equal_to<X>(self, x: X) -> Constraint<Var>
where X: Into<Expression<Var>> + Clone,

Provided Methods§

Source

fn is<X>(self, x: X) -> Constraint<Var>
where X: Into<Expression<Var>> + Clone,

Source

fn is_ge<X>(self, x: X) -> Constraint<Var>
where X: Into<Expression<Var>> + Clone,

Source

fn is_le<X>(self, x: X) -> Constraint<Var>
where X: Into<Expression<Var>> + Clone,

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§