Struct path_semantics_std::IfK

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

\(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, C: Clone, A: ExPath, B: ExPath> ExPath for IfK<T, C, A, B>

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

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

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: Copy, Co: Copy, Tr: Copy, Fa: Copy, I: Copy> Copy for IfK<T, Co, Tr, Fa, I>

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: 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: Debug, Co: Debug, Tr: Debug, Fa: Debug, I: Debug> Debug for IfK<T, Co, Tr, Fa, I>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

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

fn eq(&self, __arg_0: &IfK<T, Co, Tr, Fa, I>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &IfK<T, Co, Tr, Fa, I>) -> bool

This method tests for !=.