Enum PredicateSignatureKind 

pub enum PredicateSignatureKind {
    Function(FunctionShapeId),
    Callable(CallableShapeId),
    Union(Vec<TypeId>),
    Intersection(Vec<TypeId>),
    None,
}

Classification for type predicate signature extraction. Used by control flow analysis to extract predicate signatures from callable types.

Variants

Function(FunctionShapeId)

Function type - has type_predicate and params in function shape

Callable(CallableShapeId)

Callable type - check call_signatures for predicate

Union(Vec<TypeId>)

Union - search members for predicate

Intersection(Vec<TypeId>)

Intersection - search members for predicate

None

No predicate available

Trait Implementations

impl Clone for PredicateSignatureKind

fn clone(&self) -> PredicateSignatureKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PredicateSignatureKind

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

Formats the value using the given formatter.