Struct IfK

pub struct IfK<T, Co, Tr, Fa, I = ()> { /* private fields */ }

\(x) = if co(k) {tr(x)} else {fa(x)} Technically this could reduce the condition to a bool, but preserving the k makes it easier to debug.

Trait Implementations

impl<T: Clone, Co: Clone, Tr: Clone, Fa: Clone, I: Clone> Clone for IfK<T, Co, Tr, Fa, I>

fn clone(&self) -> IfK<T, Co, Tr, Fa, I>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug, Co: Debug, Tr: Debug, Fa: Debug, I: Debug> Debug for IfK<T, Co, Tr, Fa, I>

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

Formats the value using the given formatter.

impl<T: Default, Co: Default, Tr: Default, Fa: Default, I: Default> Default for IfK<T, Co, Tr, Fa, I>

fn default() -> IfK<T, Co, Tr, Fa, I>

Returns the “default value” for a type.

impl<T: Display, Co: TrickDisplay, Tr: TrickDisplay, Fa: TrickDisplay, I: 'static + TrickDisplay> Display for IfK<T, Co, Tr, Fa, I>

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

Formats the value using the given formatter.

impl<T: Clone, C: Clone, A: ExPath, B: ExPath> ExPath for IfK<T, C, A, B>

type Lift = IfK<T, C, <A as ExPath>::Lift, <B as ExPath>::Lift>

fn ex_path(&self) -> Self::Lift

impl<T: PartialEq, Co: PartialEq, Tr: PartialEq, Fa: PartialEq, I: PartialEq> PartialEq for IfK<T, Co, Tr, Fa, I>

fn eq(&self, other: &IfK<T, Co, Tr, Fa, I>) -> 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<T: Copy, Co: Copy, Tr: Copy, Fa: Copy, I: Copy> Copy for IfK<T, Co, Tr, Fa, I>

impl<T, Co, Tr, Fa, I> StructuralPartialEq for IfK<T, Co, Tr, Fa, I>