Struct lattices::Point

#[repr(transparent)]
pub struct Point<T, Provenance> {
    pub val: T,
    /* private fields */
}

A Point lattice, corresponding to a single instance of T.

Will runtime panic if a merge between inequal values is attempted.

The Provenance generic param is a token for the origin of this point. The parameter can be used to differentiate between points with different provenances. This will prevent them from being merged together, avoiding any posibility of panic.

Like Conflict<T> but will panic instead of going to a “conflict” top state.

Can be thought of as a lattice with a domain of size one, corresponding to the specific value inside.

This also can be used to wrap non lattice data into a lattice in a way that typechecks.

Fields

val: T

The value stored inside. This should not be mutated.

Implementations

impl<T, Provenance> Point<T, Provenance>

pub fn new(val: T) -> Self

Create a new Point lattice instance from a value.

pub fn new_from(val: impl Into<T>) -> Self

Create a new Point lattice instance from a value using Into.

Trait Implementations

impl<T: Clone, Provenance: Clone> Clone for Point<T, Provenance>

fn clone(&self) -> Point<T, Provenance>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug, Provenance: Debug> Debug for Point<T, Provenance>

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

Formats the value using the given formatter.

impl<T, Provenance> DeepReveal for Point<T, Provenance>

type Revealed = T

The underlying type when revealed.

fn deep_reveal(self) -> Self::Revealed

Reveals the underlying lattice types recursively.

impl<T: Default, Provenance: Default> Default for Point<T, Provenance>

fn default() -> Point<T, Provenance>

Returns the “default value” for a type.

impl<'de, T, Provenance> Deserialize<'de> for Point<T, Provenance>

where T: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<T, Provenance> IsBot for Point<T, Provenance>

fn is_bot(&self) -> bool

Returns if self is lattice bottom (⊥).

impl<T, Provenance> IsTop for Point<T, Provenance>

fn is_top(&self) -> bool

Returns if self is lattice top (⊤).

impl<T, Provenance> LatticeFrom<Point<T, Provenance>> for Point<T, Provenance>

fn lattice_from(other: Point<T, Provenance>) -> Self

Convert from the Other lattice into Self.

impl<T, Provenance> Merge<Point<T, Provenance>> for Point<T, Provenance>

where T: PartialEq,

fn merge(&mut self, other: Point<T, Provenance>) -> bool

Merge other into the self lattice.

fn merge_owned(this: Self, delta: Other) -> Self

where Self: Sized,

Merge this and delta together, returning the new value.

impl<T, Provenance> PartialEq for Point<T, Provenance>

where T: PartialEq,

fn eq(&self, other: &Point<T, Provenance>) -> 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<T, Provenance> PartialOrd for Point<T, Provenance>

where T: PartialEq,

fn partial_cmp(&self, other: &Point<T, Provenance>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<T, Provenance> Serialize for Point<T, Provenance>

where T: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<T: Copy, Provenance: Copy> Copy for Point<T, Provenance>

impl<T: Eq, Provenance: Eq> Eq for Point<T, Provenance>

impl<T, Provenance> LatticeOrd for Point<T, Provenance>

where Self: PartialOrd<Point<T, Provenance>>,