Trait LatticeRef 

pub trait LatticeRef {
    type T;

    // Required methods
    fn pjoin(&self, other: &Self) -> AlgebraicResult<Self::T>;
    fn pmeet(&self, other: &Self) -> AlgebraicResult<Self::T>;
}

Implements algebraic behavior on a reference to a Lattice type, such as a smart pointer that can’t hold ownership

Required Associated Types

type T

Required Methods

fn pjoin(&self, other: &Self) -> AlgebraicResult<Self::T>

fn pmeet(&self, other: &Self) -> AlgebraicResult<Self::T>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<V: Lattice + Clone + Send + Sync, A: Allocator> LatticeRef for Option<&TrieNodeODRc<V, A>>

type T = Option<TrieNodeODRc<V, A>>

fn pjoin(&self, other: &Self) -> AlgebraicResult<Self::T>

fn pmeet( &self, other: &Option<&TrieNodeODRc<V, A>>, ) -> AlgebraicResult<Option<TrieNodeODRc<V, A>>>

impl<V: Lattice + Clone> LatticeRef for Option<&V>

type T = Option<V>

fn pjoin(&self, other: &Self) -> AlgebraicResult<Self::T>

fn pmeet(&self, other: &Option<&V>) -> AlgebraicResult<Option<V>>

impl<V: Lattice> LatticeRef for &V

type T = V

fn pjoin(&self, other: &Self) -> AlgebraicResult<Self::T>

fn pmeet(&self, other: &Self) -> AlgebraicResult<Self::T>

Implementors