Enum TypeAnnotations 

pub enum TypeAnnotations {
    Instance(Vec<Type>),
    Type(Vec<Type>),
    Value(ValueType),
}

The category of a variable, and the possible types determined by type-inference.

Variants

Instance(Vec<Type>)

Indicates the variable holds instances of any of the specified Types.

Type(Vec<Type>)

Indicates the variable holds types of any of the specified Types.

Value(ValueType)

Indicates the variable holds values of any of the specified ValueTypes.

Trait Implementations

impl Clone for TypeAnnotations

fn clone(&self) -> TypeAnnotations

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeAnnotations

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

Formats the value using the given formatter.