Struct Tuple3Witness 

pub struct Tuple3Witness;

Tuple3Witness acts as a witness for the (A, B, C) type constructor.

Trait Implementations

impl HKT3Unbound for Tuple3Witness

type Constraint = NoConstraint

type Type<A, B, C> = (A, B, C)

impl Promonad<Tuple3Witness> for Tuple3Witness

fn fuse<A, B, C>(_input_a: A, _input_b: B) -> (A, B, C)

Panics

This method always panics. For a tuple (A, B, C), “fusion” without a merge function isn’t well-defined because we cannot produce a C from just A and B.

Promonad::fuse is designed for types like Interaction<A, B, C> where the third parameter represents an output that can be derived from the fusion process. For a plain tuple, this operation is not meaningful.

fn merge<A, B, C, F>(pa: (A, A, A), pb: (B, B, B), f: F) -> (C, C, C)

where F: FnMut(A, B) -> C,

Merges two contexts into a third.