Enum NodeStep 

pub enum NodeStep {
    TypeExpression,
    Body,
    ValueInputType(Name),
    ValueInputAnnotation(Name),
    ValueOutputType,
    DerivedBaseType,
    PartialTypeExpression,
    CustomConstructor(Name),
    ConstructorArgument(usize),
    RecordField(Name),
    ExtensibleRecordField(Name),
    TypeFunctionParameter,
    TypeFunctionResult,
    ReferenceArgument(usize),
    ApplyFunction,
    ApplyArgument,
    FieldSubject,
    DestructurePattern,
    DestructureValue,
    DestructureBody,
    IfCondition,
    IfThen,
    IfElse,
    LambdaPattern,
    LambdaBody,
    LetDefinition(Name),
    LetBody,
    ListElement(usize),
    PatternMatchSubject,
    TupleElement(usize),
    PatternMatchCasePattern(usize),
    PatternMatchCaseBody(usize),
    UpdateSubject,
    UpdateField(Name),
    AsPatternChild,
    PatternTupleElement(usize),
    PatternConstructorArgument(usize),
    HeadTailHead,
    HeadTailTail,
    ExternalFallback,
    IncompletePartialBody,
    HoleExpectedType,
    InferredType,
    AnnotationEntry(usize),
    AnnotationArgument(usize),
}

One typed child selection. Variants do not carry irrelevant names or indices.

Variants

TypeExpression

Body

ValueInputType(Name)

ValueInputAnnotation(Name)

ValueOutputType

DerivedBaseType

PartialTypeExpression

CustomConstructor(Name)

ConstructorArgument(usize)

RecordField(Name)

ExtensibleRecordField(Name)

TypeFunctionParameter

TypeFunctionResult

ReferenceArgument(usize)

ApplyFunction

ApplyArgument

FieldSubject

DestructurePattern

DestructureValue

DestructureBody

IfCondition

IfThen

IfElse

LambdaPattern

LambdaBody

LetDefinition(Name)

LetBody

ListElement(usize)

PatternMatchSubject

TupleElement(usize)

PatternMatchCasePattern(usize)

PatternMatchCaseBody(usize)

UpdateSubject

UpdateField(Name)

AsPatternChild

PatternTupleElement(usize)

PatternConstructorArgument(usize)

HeadTailHead

HeadTailTail

ExternalFallback

IncompletePartialBody

HoleExpectedType

InferredType

The semantic Type stored in a Value or Pattern’s inferredType attribute.

AnnotationEntry(usize)

An ordered annotation entry on a specification.

AnnotationArgument(usize)

An ordered Value argument within a structured annotation.

Implementations

impl NodeStep

pub fn is_positional(&self) -> bool

Whether this step selects an ordered child whose identity needs a guard.

Trait Implementations

impl Clone for NodeStep

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NodeStep

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

Formats the value using the given formatter.

impl Eq for NodeStep

impl Hash for NodeStep

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 PartialEq for NodeStep

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for NodeStep