Trait Refinement

pub trait Refinement {
    type InnerType;

    // Required methods
    fn new(x: Self::InnerType) -> Self;
    fn get(self) -> Self::InnerType;
    fn get_mut(&mut self) -> &mut Self::InnerType;
    fn invariant(value: Self::InnerType) -> Prop;
}

Required Associated Types

type InnerType

Required Methods

fn new(x: Self::InnerType) -> Self

fn get(self) -> Self::InnerType

fn get_mut(&mut self) -> &mut Self::InnerType

fn invariant(value: Self::InnerType) -> Prop

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