Struct If

pub struct If;

TyLisp primitive conditional operator

Takes three parameters, Cond, T, and F.

• If Cond is typenum::True, evaluates to T
• If Cond is typenum::False, evaluates to F

The non-selected branch does not need to be valid. This statement is invalid if Cond evaluates to anything other than True or False.

Trait Implementations

impl<Q> Calc<Q> for If

where Self: Default,

type Result = If

fn calc(_: Q) -> Self

impl Call for If

type Conv = Syntax

Which calling convention is expected?

impl Debug for If

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

Formats the value using the given formatter.

impl Default for If

fn default() -> If

Returns the “default value” for a type.

impl Eval for If

type Result = If

impl LispId for If

type Id = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B0>, B0>, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B0>, B0>, B0>, B1>, B0>, B0>, B0>, B0>, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B1>, B1>, B0>, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B1>, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B1>, B0>, B1>, B1>, B1>, B0>, B0>, B0>, B1>, B1>, B1>, B1>, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B1>

impl<Cond: Eval, T, F, CQ, TQ, FQ> SynCalc<HCons<Cond, HCons<T, HCons<F, HNil>>>, HCons<CQ, HCons<TQ, HCons<FQ, HNil>>>> for If

where Cond::Result: IfCalcImpl<T, F, TQ, FQ>,

type Result = <<Cond as Eval>::Result as IfCalcImpl<T, F, TQ, FQ>>::Result

fn syn_calc(self, _: HCons<CQ, HCons<TQ, HCons<FQ, HNil>>>) -> Self::Result

impl<Cond: Eval, T, F> SynCall<HCons<Cond, HCons<T, HCons<F, HNil>>>> for If

where Cond::Result: IfImpl<T, F>,

type Result = <<Cond as Eval>::Result as IfImpl<T, F>>::Result