Trait tightness::Bound[−][src]

pub trait Bound {
    type Target;
    fn check(target: &Self::Target) -> bool;
}

Expand description

Trait for an arbitrary condition that a bounded type must guarantee to uphold at all times.

Associated Types

`type Target`[src]

The type that the invariant is predicated on.

Required methods

`fn check(target: &Self::Target) -> bool`[src]

The condition that the target type must verify at all times.

Implementors