Struct wdl_analysis::CompoundType

pub struct CompoundType { /* private fields */ }

Represents a compound type.

Implementations

impl CompoundType

pub fn definition(&self) -> CompoundTypeDefId

Gets the definition identifier of the compound type.

pub fn display<'a>(&self, types: &'a Types) -> impl Display + 'a

Returns an object that implements Display for formatting the type.

Trait Implementations

impl Clone for CompoundType

fn clone(&self) -> CompoundType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Coercible for CompoundType

fn is_coercible_to(&self, types: &Types, target: &Self) -> bool

Determines if the type is coercible to the target type.

impl Debug for CompoundType

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

Formats the value using the given formatter.

impl Hash for CompoundType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Optional for CompoundType

fn is_optional(&self) -> bool

Determines if the type is optional.

fn optional(&self) -> Self

Makes the type optional if it isn’t already optional.

fn require(&self) -> Self

Makes the type required if it isn’t already required.

impl PartialEq for CompoundType

fn eq(&self, other: &CompoundType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl TypeEq for CompoundType

fn type_eq(&self, types: &Types, other: &Self) -> bool

Determines if the two types are equal.

impl Copy for CompoundType

impl Eq for CompoundType

impl StructuralPartialEq for CompoundType