Type Alias gluon_base::ast::SpannedIdent

pub type SpannedIdent<Id> = Spanned<TypedIdent<Id>, BytePos>;

Aliased Type

struct SpannedIdent<Id> {
    pub span: Span<ByteIndex>,
    pub value: TypedIdent<Id, ArcType<Id>>,
}

Fields

span: Span<ByteIndex>

value: TypedIdent<Id, ArcType<Id>>

Implementations

impl<T, Pos> Spanned<T, Pos>

pub fn map<U, F>(self, f: F) -> Spanned<U, Pos>where F: FnMut(T) -> U,

Trait Implementations

impl<E> AsDiagnostic for Spanned<E, BytePos>where E: AsDiagnostic,

fn as_diagnostic(&self, map: &CodeMap) -> Diagnostic<FileId>

impl<T, Pos> AsId<T> for Spanned<T, Pos>

fn as_id(&self) -> &T

impl<T, U, Pos> AsRef<U> for Spanned<T, Pos>where T: AsRef<U>, U: ?Sized,

fn as_ref(&self) -> &U

Converts this type into a shared reference of the (usually inferred) input type.

impl<'ast, Id, T, P> AstClone<'ast, Id> for Spanned<T, P>where T: AstClone<'ast, Id>, P: Clone,

fn ast_clone(&self, arena: ArenaRef<'_, 'ast, Id>) -> Self

impl<T: Clone, Pos: Clone> Clone for Spanned<T, Pos>

fn clone(&self) -> Spanned<T, Pos>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug, Pos: Debug> Debug for Spanned<T, Pos>

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

Formats the value using the given formatter.

impl<T: Default, Pos: Default> Default for Spanned<T, Pos>

fn default() -> Spanned<T, Pos>

Returns the “default value” for a type.

impl<T, Pos> Deref for Spanned<T, Pos>

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.

impl<T, Pos> DerefMut for Spanned<T, Pos>

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

Mutably dereferences the value.

impl<T: Display, Pos: Display + Copy> Display for Spanned<T, Pos>

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

Formats the value using the given formatter.

impl<T, Pos> From<(T, Span<Pos>)> for Spanned<T, Pos>

fn from((value, span): (T, Span<Pos>)) -> Self

Converts to this type from the input type.

impl<T, Pos> From<T> for Spanned<T, Pos>where Pos: Default,

fn from(value: T) -> Self

Converts to this type from the input type.

impl<T, Pos> Hash for Spanned<T, Pos>where T: Hash, Pos: Hash + Copy,

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

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<T: PartialEq, Pos: PartialEq> PartialEq<Spanned<T, Pos>> for Spanned<T, Pos>

fn eq(&self, other: &Spanned<T, Pos>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<T, Pos> PartialEq<T> for Spanned<T, Pos>where T: PartialEq,

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<T: Typed> Typed for Spanned<T, BytePos>

type Ident = <T as Typed>::Ident

fn try_type_of( &self, env: &dyn TypeEnv<Type = ArcType> ) -> Result<ArcType<T::Ident>, String>

fn env_type_of(&self, env: &dyn TypeEnv<Type = ArcType>) -> ArcType<Self::Ident>

impl<T: Copy, Pos: Copy> Copy for Spanned<T, Pos>

impl<T: Eq, Pos: Eq> Eq for Spanned<T, Pos>

impl<T, Pos> StructuralEq for Spanned<T, Pos>

impl<T, Pos> StructuralPartialEq for Spanned<T, Pos>