Struct Pair 

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

A generic ordered pair.

This is the Rust meta-level analogue of Prod in Lean 4.

Fields

fst: A

First component.

snd: B

Second component.

Implementations

impl<A, B> Pair<A, B>

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

Construct a new Pair.

pub fn from_tuple((a, b): (A, B)) -> Self

Construct from a Rust tuple.

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

Convert to a Rust tuple.

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

Map the first component.

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

Map the second component.

pub fn bimap<C, D>( self, f: impl FnOnce(A) -> C, g: impl FnOnce(B) -> D, ) -> Pair<C, D>

Map both components.

pub fn swap(self) -> Pair<B, A>

Swap the components.

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

Apply a function expecting two arguments.

pub fn as_refs(&self) -> (&A, &B)

Get references to both components.

impl<T: Clone> Pair<T, T>

pub fn iter(&self) -> PairIter<T>

Iterate over the two homogeneous components.

Trait Implementations

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

fn clone(&self) -> Pair<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 Pair<A, B>

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

Formats the value using the given formatter.

impl<A: Default, B: Default> Default for Pair<A, B>

fn default() -> Pair<A, B>

Returns the “default value” for a type.

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

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

Formats the value using the given formatter.

impl<A: Hash, B: Hash> Hash for Pair<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 Pair<A, B>

fn eq(&self, other: &Pair<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 Pair<A, B>

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