Skip to main content

AstNodeKindResolver

sui_spec::ast_graph

Enum AstNodeKindResolver

pub enum AstNodeKindResolverwhere
    i64: Archive,
    f64: Archive,
    bool: Archive,
    Vec<StrSegment>: Archive,
    String: Archive,
    NodeId: Archive,
    Vec<String>: Archive,
    Option<NodeId>: Archive,
    Vec<NodeId>: Archive,
    Vec<AttrEntry>: Archive,
    Vec<InheritClause>: Archive,
    LambdaParam: Archive,
    BinaryOp: Archive,
    UnaryOp: Archive,{
Show 21 variants
    Int(<i64 as Archive>::Resolver),
    Float(<f64 as Archive>::Resolver),
    Bool(<bool as Archive>::Resolver),
    Null,
    Str {
        segments: <Vec<StrSegment> as Archive>::Resolver,
    },
    IndentedStr {
        segments: <Vec<StrSegment> as Archive>::Resolver,
    },
    Path(<String as Archive>::Resolver),
    Ident(<String as Archive>::Resolver),
    Select {
        target: <NodeId as Archive>::Resolver,
        path: <Vec<String> as Archive>::Resolver,
        fallback: <Option<NodeId> as Archive>::Resolver,
    },
    HasAttr {
        target: <NodeId as Archive>::Resolver,
        path: <Vec<String> as Archive>::Resolver,
    },
    List(<Vec<NodeId> as Archive>::Resolver),
    AttrSet {
        recursive: <bool as Archive>::Resolver,
        entries: <Vec<AttrEntry> as Archive>::Resolver,
        inherits: <Vec<InheritClause> as Archive>::Resolver,
    },
    LetIn {
        bindings: <Vec<AttrEntry> as Archive>::Resolver,
        inherits: <Vec<InheritClause> as Archive>::Resolver,
        body: <NodeId as Archive>::Resolver,
    },
    With {
        env: <NodeId as Archive>::Resolver,
        body: <NodeId as Archive>::Resolver,
    },
    Assert {
        condition: <NodeId as Archive>::Resolver,
        body: <NodeId as Archive>::Resolver,
    },
    Lambda {
        param: <LambdaParam as Archive>::Resolver,
        body: <NodeId as Archive>::Resolver,
    },
    Apply {
        function: <NodeId as Archive>::Resolver,
        argument: <NodeId as Archive>::Resolver,
    },
    IfThenElse {
        condition: <NodeId as Archive>::Resolver,
        then_branch: <NodeId as Archive>::Resolver,
        else_branch: <NodeId as Archive>::Resolver,
    },
    BinOp {
        op: <BinaryOp as Archive>::Resolver,
        left: <NodeId as Archive>::Resolver,
        right: <NodeId as Archive>::Resolver,
    },
    UnaryOp {
        op: <UnaryOp as Archive>::Resolver,
        operand: <NodeId as Archive>::Resolver,
    },
    Unknown {
        kind: <String as Archive>::Resolver,
        source_text: <String as Archive>::Resolver,
    },
}

Expand description

The resolver for an archived AstNodeKind

Variants§

Int(<i64 as Archive>::Resolver)

The resolver for AstNodeKind::Int

Float(<f64 as Archive>::Resolver)

The resolver for AstNodeKind::Float

Bool(<bool as Archive>::Resolver)

The resolver for AstNodeKind::Bool

Null

The resolver for AstNodeKind::Null

Str

The resolver for AstNodeKind::Str

Fields

§segments: <Vec<StrSegment> as Archive>::Resolver

IndentedStr

The resolver for AstNodeKind::IndentedStr

Fields

§segments: <Vec<StrSegment> as Archive>::Resolver

Path(<String as Archive>::Resolver)

The resolver for AstNodeKind::Path

Ident(<String as Archive>::Resolver)

The resolver for AstNodeKind::Ident

Select

The resolver for AstNodeKind::Select

Fields

§target: <NodeId as Archive>::Resolver

§path: <Vec<String> as Archive>::Resolver

§fallback: <Option<NodeId> as Archive>::Resolver

HasAttr

The resolver for AstNodeKind::HasAttr

Fields

§target: <NodeId as Archive>::Resolver

§path: <Vec<String> as Archive>::Resolver

List(<Vec<NodeId> as Archive>::Resolver)

The resolver for AstNodeKind::List

AttrSet

The resolver for AstNodeKind::AttrSet

Fields

§recursive: <bool as Archive>::Resolver

§entries: <Vec<AttrEntry> as Archive>::Resolver

§inherits: <Vec<InheritClause> as Archive>::Resolver

LetIn

The resolver for AstNodeKind::LetIn

Fields

§bindings: <Vec<AttrEntry> as Archive>::Resolver

§inherits: <Vec<InheritClause> as Archive>::Resolver

§body: <NodeId as Archive>::Resolver

With

The resolver for AstNodeKind::With

Fields

§env: <NodeId as Archive>::Resolver

§body: <NodeId as Archive>::Resolver

Assert

The resolver for AstNodeKind::Assert

Fields

§condition: <NodeId as Archive>::Resolver

§body: <NodeId as Archive>::Resolver

Lambda

The resolver for AstNodeKind::Lambda

Fields

§param: <LambdaParam as Archive>::Resolver

§body: <NodeId as Archive>::Resolver

Apply

The resolver for AstNodeKind::Apply

Fields

§function: <NodeId as Archive>::Resolver

§argument: <NodeId as Archive>::Resolver

IfThenElse

The resolver for AstNodeKind::IfThenElse

Fields

§condition: <NodeId as Archive>::Resolver

§then_branch: <NodeId as Archive>::Resolver

§else_branch: <NodeId as Archive>::Resolver

BinOp

The resolver for AstNodeKind::BinOp

Fields

§op: <BinaryOp as Archive>::Resolver

§left: <NodeId as Archive>::Resolver

§right: <NodeId as Archive>::Resolver

UnaryOp

The resolver for AstNodeKind::UnaryOp

Fields

§op: <UnaryOp as Archive>::Resolver

§operand: <NodeId as Archive>::Resolver

Unknown

The resolver for AstNodeKind::Unknown

Fields

§kind: <String as Archive>::Resolver

§source_text: <String as Archive>::Resolver

Auto Trait Implementations§

impl Freeze for AstNodeKindResolver

impl RefUnwindSafe for AstNodeKindResolver

impl Send for AstNodeKindResolver

impl Sync for AstNodeKindResolver

impl Unpin for AstNodeKindResolver

impl UnsafeUnpin for AstNodeKindResolver

impl UnwindSafe for AstNodeKindResolver

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> ArchivePointee for T

type ArchivedMetadata = ()

The archived version of the pointer metadata for this type.

fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata

Converts some archived metadata to the pointer metadata for itself.

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> LayoutRaw for T

fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>

Returns the layout of the type.

impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
where T: SharedNiching<N1, N2>, N1: Niching<T>, N2: Niching<T>,

unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool

Returns whether the given value has been niched. Read more

fn resolve_niched(out: Place<NichedOption<T, N1>>)

Writes data to out indicating that a T is niched.

impl<T> Pointee for T

type Metadata = ()

The metadata type for pointers and references to this type.

impl<T> Same for T

type Output = T

Should always be Self

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.