Struct Product 

pub struct Product<T> {
    pub left: T,
    pub right: T,
    pub product: Option<T>,
}

A categorical product of two objects.

This is a simplified representation for educational purposes.

Fields

left: T

First factor

right: T

Second factor

product: Option<T>

The product object (if it exists)

Implementations

impl<T> Product<T>

pub const fn new(left: T, right: T, product: Option<T>) -> Self

Create a new product.

pub const fn exists(&self) -> bool

Check if the product exists.

Trait Implementations

impl<T: Clone> Clone for Product<T>

fn clone(&self) -> Product<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Product<T>

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

Formats the value using the given formatter.