Enum TypeAnnotation 

pub enum TypeAnnotation {
    StringTypeAnnotation,
    NumberTypeAnnotation,
    BooleanTypeAnnotation,
    VoidTypeAnnotation,
    MixedTypeAnnotation,
    AnyTypeAnnotation,
    EmptyTypeAnnotation,
    NullLiteralTypeAnnotation,
    BigIntTypeAnnotation,
    SymbolTypeAnnotation,
    StringLiteralTypeAnnotation {
        value: String,
    },
    NumberLiteralTypeAnnotation {
        value: f64,
    },
    BooleanLiteralTypeAnnotation {
        value: bool,
    },
    BigIntLiteralTypeAnnotation {
        value: Option<Value>,
    },
    NullableTypeAnnotation {
        type_annotation: Box<TypeAnnotation>,
    },
    ObjectTypeAnnotation {
        properties: Vec<ObjectMember>,
        indexers: Vec<ObjectTypeIndexer>,
        call_properties: Vec<ObjectTypeCallProperty>,
        internal_slots: Vec<ObjectTypeInternalSlot>,
        exact: bool,
    },
    UnionTypeAnnotation {
        types: Vec<TypeAnnotation>,
    },
    IntersectionTypeAnnotation {
        types: Vec<TypeAnnotation>,
    },
    GenericTypeAnnotation {
        id: TypeIdentifier,
        type_parameters: Option<TypeParameterInstantiation>,
    },
    TupleTypeAnnotation {
        element_types: Vec<TypeAnnotation>,
    },
    ArrayTypeAnnotation {
        element_type: Box<TypeAnnotation>,
    },
    TypeofTypeAnnotation {
        argument: Box<TypeAnnotation>,
    },
    FunctionTypeAnnotation {
        params: Vec<FunctionTypeParam>,
        return_type: Box<TypeAnnotation>,
        rest: Option<Box<FunctionTypeParam>>,
        type_parameters: Option<TypeParameterDeclaration>,
        this_constraint: Option<Box<FunctionTypeParam>>,
    },
    InterfaceTypeAnnotation {
        extends: Vec<InterfaceExtends>,
        body: Box<TypeAnnotation>,
    },
    ExistsTypeAnnotation,
    IndexedAccessType {
        object_type: Box<TypeAnnotation>,
        index_type: Box<TypeAnnotation>,
    },
    OptionalIndexedAccessType {
        object_type: Box<TypeAnnotation>,
        index_type: Box<TypeAnnotation>,
        optional: bool,
    },
    KeyofTypeAnnotation {
        argument: Box<TypeAnnotation>,
    },
    ConditionalTypeAnnotation {
        check_type: Box<TypeAnnotation>,
        extends_type: Box<TypeAnnotation>,
        true_type: Box<TypeAnnotation>,
        false_type: Box<TypeAnnotation>,
    },
    InferTypeAnnotation {
        type_parameter: Option<Value>,
    },
    TypeOperator {
        operator: Option<String>,
        type_annotation: Box<TypeAnnotation>,
    },
    ComponentTypeAnnotation {
        params: Vec<Value>,
        rest: Option<Value>,
        type_parameters: Option<TypeParameterDeclaration>,
        renders_type: Option<Box<TypeAnnotation>>,
    },
    Other,
}

A Flow type annotation node.

Variants

StringTypeAnnotation

NumberTypeAnnotation

BooleanTypeAnnotation

VoidTypeAnnotation

MixedTypeAnnotation

AnyTypeAnnotation

EmptyTypeAnnotation

NullLiteralTypeAnnotation

BigIntTypeAnnotation

SymbolTypeAnnotation

StringLiteralTypeAnnotation

Fields

value: String

NumberLiteralTypeAnnotation

Fields

value: f64

BooleanLiteralTypeAnnotation

Fields

value: bool

BigIntLiteralTypeAnnotation

Fields

value: Option<Value>

NullableTypeAnnotation

Fields

type_annotation: Box<TypeAnnotation>

ObjectTypeAnnotation

Fields

properties: Vec<ObjectMember>

indexers: Vec<ObjectTypeIndexer>

call_properties: Vec<ObjectTypeCallProperty>

internal_slots: Vec<ObjectTypeInternalSlot>

exact: bool

UnionTypeAnnotation

Fields

types: Vec<TypeAnnotation>

IntersectionTypeAnnotation

Fields

types: Vec<TypeAnnotation>

GenericTypeAnnotation

Fields

id: TypeIdentifier

type_parameters: Option<TypeParameterInstantiation>

TupleTypeAnnotation

Fields

element_types: Vec<TypeAnnotation>

ArrayTypeAnnotation

Fields

element_type: Box<TypeAnnotation>

TypeofTypeAnnotation

Fields

argument: Box<TypeAnnotation>

FunctionTypeAnnotation

Fields

params: Vec<FunctionTypeParam>

return_type: Box<TypeAnnotation>

rest: Option<Box<FunctionTypeParam>>

type_parameters: Option<TypeParameterDeclaration>

this_constraint: Option<Box<FunctionTypeParam>>

InterfaceTypeAnnotation

Fields

extends: Vec<InterfaceExtends>

body: Box<TypeAnnotation>

ExistsTypeAnnotation

IndexedAccessType

Fields

object_type: Box<TypeAnnotation>

index_type: Box<TypeAnnotation>

OptionalIndexedAccessType

Fields

object_type: Box<TypeAnnotation>

index_type: Box<TypeAnnotation>

optional: bool

KeyofTypeAnnotation

Fields

argument: Box<TypeAnnotation>

ConditionalTypeAnnotation

Fields

check_type: Box<TypeAnnotation>

extends_type: Box<TypeAnnotation>

true_type: Box<TypeAnnotation>

false_type: Box<TypeAnnotation>

InferTypeAnnotation

Fields

type_parameter: Option<Value>

TypeOperator

Fields

operator: Option<String>

type_annotation: Box<TypeAnnotation>

ComponentTypeAnnotation

Fields

params: Vec<Value>

rest: Option<Value>

type_parameters: Option<TypeParameterDeclaration>

renders_type: Option<Box<TypeAnnotation>>

Other

Implementations

impl TypeAnnotation

pub fn type_name(&self) -> &'static str

Short type tag for assertions (e.g. "StringTypeAnnotation").

Trait Implementations

impl Clone for TypeAnnotation

fn clone(&self) -> TypeAnnotation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeAnnotation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypeAnnotation

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.