SelectType

Trait SelectType 

Source
pub trait SelectType<Q, Then, Else> {
    type Out;
}
Expand description

Selects between two types based on a capability query (for associated types).

Required Associated Types§

Implementors§

Source§

impl<S, Q, Then, Else> SelectType<Q, Then, Else> for S
where S: Evaluate<Q>, <S as Evaluate<Q>>::Out: Bool,

Source§

type Out = <<S as Evaluate<Q>>::Out as Bool>::If<Then, Else>