Struct Sigma 

pub struct Sigma<A, B> {
    pub fst: A,
    pub snd: B,
}

A dependent pair (sigma type) Σ (a : A), B(a).

At the Rust meta-level, B is represented as a plain type B rather than a type family, but conceptually this encodes dependent pairs.

Fields

fst: A

The first component (the “witness”).

snd: B

The second component (the “proof” or dependent value).

Implementations

impl<A, B> Sigma<A, B>

pub fn new(fst: A, snd: B) -> Self

Construct a sigma pair.

pub fn into_parts(self) -> (A, B)

Destruct into components.

pub fn map_snd<C>(self, f: impl FnOnce(B) -> C) -> Sigma<A, C>

Map the proof component (second element) through f.

pub fn map_fst<C>(self, f: impl FnOnce(A) -> C) -> Sigma<C, B>

Map the witness (first element) through f.

pub fn elim<C>(self, f: impl FnOnce(A, B) -> C) -> C

Apply a function to both components.

Trait Implementations

impl<A: Clone, B: Clone> Clone for Sigma<A, B>

fn clone(&self) -> Sigma<A, B>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Debug, B: Debug> Debug for Sigma<A, B>

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

Formats the value using the given formatter.

impl<A: Display, B: Display> Display for Sigma<A, B>

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

Formats the value using the given formatter.

impl<A: Hash, B: Hash> Hash for Sigma<A, B>

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<A: PartialEq, B: PartialEq> PartialEq for Sigma<A, B>

fn eq(&self, other: &Sigma<A, B>) -> 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<A: Eq, B: Eq> Eq for Sigma<A, B>

impl<A, B> StructuralPartialEq for Sigma<A, B>