Trait SelectCap 

pub trait SelectCap<Q, Then, Else> {
    type Out;
}

Selects between two types based on a capability query.

Given a capability set S, a query Q, and two candidate types Then/Else:

• If S: Evaluate<Q, Out = Present>, returns Then
• If S: Evaluate<Q, Out = Absent>, returns Else

Required Associated Types

type Out

Implementors

impl<S, Q, Then, Else> SelectCap<Q, Then, Else> for S

where S: Evaluate<Q>, <S as Evaluate<Q>>::Out: Bool,

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