Skip to main content

Constraint

wdl_analysis::stdlib

Trait Constraint 

Source 
pub trait Constraint:
    Debug
    + Send
    + Sync {
    // Required methods
    fn description(&self) -> &'static str;
    fn satisfied(&self, ty: &Type) -> bool;
}
Expand description

A trait implemented by type constraints.

Required Methods§

Source

fn description(&self) -> &'static str

Gets a description of the constraint.

Source

fn satisfied(&self, ty: &Type) -> bool

Determines if the given type satisfies the constraint.

Returns true if the constraint is satisfied or false if not.

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§