Enum MonotonicityDerivation

pub enum MonotonicityDerivation {
    Inherent(Monotonicity),
    FollowingInput(usize),
    _FollowingInputInversely(usize),
}

Represents the derivation of the monotonicity of a column. This enum aims to unify the “non-decreasing analysis” and watermark derivation.

Variants

Inherent(Monotonicity)

The monotonicity of the column is inherent, meaning that it is derived from the column itself.

FollowingInput(usize)

The monotonicity of the column follows the monotonicity of the specified column in the input.

_FollowingInputInversely(usize)

The monotonicity of the column INVERSELY follows the monotonicity of the specified column in the input. This is not used currently.

Implementations

impl MonotonicityDerivation

pub fn is_inherent(&self) -> bool

Returns true if this is a MonotonicityDerivation::Inherent, otherwise false

pub fn as_inherent_mut(&mut self) -> Option<&mut Monotonicity>

Optionally returns mutable references to the inner fields if this is a MonotonicityDerivation::Inherent, otherwise None

pub fn as_inherent(&self) -> Option<&Monotonicity>

Optionally returns references to the inner fields if this is a MonotonicityDerivation::Inherent, otherwise None

pub fn into_inherent(self) -> Result<Monotonicity, Self>

Returns the inner fields if this is a MonotonicityDerivation::Inherent, otherwise returns back the enum in the Err case of the result

pub fn is_following_input(&self) -> bool

Returns true if this is a MonotonicityDerivation::FollowingInput, otherwise false

pub fn as_following_input_mut(&mut self) -> Option<&mut usize>

Optionally returns mutable references to the inner fields if this is a MonotonicityDerivation::FollowingInput, otherwise None

pub fn as_following_input(&self) -> Option<&usize>

Optionally returns references to the inner fields if this is a MonotonicityDerivation::FollowingInput, otherwise None

pub fn into_following_input(self) -> Result<usize, Self>

Returns the inner fields if this is a MonotonicityDerivation::FollowingInput, otherwise returns back the enum in the Err case of the result

pub fn is_following_input_inversely(&self) -> bool

Returns true if this is a MonotonicityDerivation::_FollowingInputInversely, otherwise false

pub fn as_following_input_inversely_mut(&mut self) -> Option<&mut usize>

Optionally returns mutable references to the inner fields if this is a MonotonicityDerivation::_FollowingInputInversely, otherwise None

pub fn as_following_input_inversely(&self) -> Option<&usize>

Optionally returns references to the inner fields if this is a MonotonicityDerivation::_FollowingInputInversely, otherwise None

pub fn into_following_input_inversely(self) -> Result<usize, Self>

Returns the inner fields if this is a MonotonicityDerivation::_FollowingInputInversely, otherwise returns back the enum in the Err case of the result

impl MonotonicityDerivation

pub fn inverse(self) -> Self

Trait Implementations

impl Clone for MonotonicityDerivation

fn clone(&self) -> MonotonicityDerivation

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MonotonicityDerivation

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for MonotonicityDerivation

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for MonotonicityDerivation

fn eq(&self, other: &MonotonicityDerivation) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for MonotonicityDerivation

impl Eq for MonotonicityDerivation

impl StructuralPartialEq for MonotonicityDerivation