Struct IfCheck 

pub struct IfCheck<X> { /* private fields */ }

Actual type used to perform an IF check through the type system.

Performing an IF test through the type system requires both this structure as well as the CTIf trait (or a specialized one). The typed that needs to be matched is passed into this struct as generic argument for X. The resulting type must then be cast as CTIf trait, which includes the desired type. CTIf::Path will then hold the match relevant type. eg

<IfCheck<Subject> as CTIf<Desired, TypeTrue, TypeFalse>>::Path;

Trait Implementations

impl<X, CondFail, OptionTrue, OptionFalse> CTIf<CondFail, OptionTrue, OptionFalse> for IfCheck<X>

where OptionTrue: 'static + ?Sized, OptionFalse: 'static + ?Sized,

type Result = CTFalse

Type representing how the condition on the implemented type matches.

type Path = OptionFalse

Type which holds either of the two generic option arguments, depending on how the condition matches.

impl<X, OptionTrue, OptionFalse> CTIf<X, OptionTrue, OptionFalse> for IfCheck<X>

where OptionTrue: 'static + ?Sized, OptionFalse: 'static + ?Sized,

type Result = CTTrue

Type representing how the condition on the implemented type matches.

type Path = OptionTrue

Type which holds either of the two generic option arguments, depending on how the condition matches.

impl<X, CondFail, OptionTrue, OptionFalse> CTIfOffset<CondFail, OptionTrue, OptionFalse> for IfCheck<X>

where OptionTrue: Unsigned + Add<U1>, OptionFalse: Unsigned + Add<U1>,

type Result = CTFalse

Auto generated

type Path = OptionFalse

Auto generated

impl<X, OptionTrue, OptionFalse> CTIfOffset<X, OptionTrue, OptionFalse> for IfCheck<X>

where OptionTrue: Unsigned + Add<U1>, OptionFalse: Unsigned + Add<U1>,

type Result = CTTrue

Auto generated

type Path = OptionTrue

Auto generated