[][src]Struct syntax_pos::symbol::Symbol

pub struct Symbol(_);

A symbol is an interned or gensymed string. A gensym is a symbol that is never equal to any other symbol.

Conceptually, a gensym can be thought of as a normal symbol with an invisible unique suffix. Gensyms are useful when creating new identifiers that must not match any existing identifiers, e.g. during macro expansion and syntax desugaring. Because gensyms should always be identifiers, all gensym operations are on Ident rather than Symbol. (Indeed, in the future the gensym-ness may be moved from Symbol to hygiene data.)

Examples:

assert_eq!(Ident::from_str("_"), Ident::from_str("_"))
assert_ne!(Ident::from_str("_").gensym_if_underscore(), Ident::from_str("_"))
assert_ne!(
    Ident::from_str("_").gensym_if_underscore(),
    Ident::from_str("_").gensym_if_underscore(),
)

Internally, a symbol is implemented as an index, and all operations (including hashing, equality, and ordering) operate on that index. The use of newtype_index! means that Option<Symbol> only takes up 4 bytes, because newtype_index! reserves the last 256 values for tagging purposes.

Note that Symbol cannot directly be a newtype_index! because it implements fmt::Debug, Encodable, and Decodable in special ways.

Methods

impl Symbol[src]

pub fn intern(string: &str) -> Self[src]

Maps a string to its interned representation.

pub fn with<F: FnOnce(&str) -> R, R>(self, f: F) -> R[src]

Access the symbol's chars. This is a slowish operation because it requires locking the symbol interner.

pub fn as_str(self) -> LocalInternedString[src]

Convert to a LocalInternedString. This is a slowish operation because it requires locking the symbol interner.

pub fn as_interned_str(self) -> InternedString[src]

Convert to an InternedString. This is a slowish operation because it requires locking the symbol interner.

pub fn as_u32(self) -> u32[src]

impl Symbol[src]

pub fn is_doc_keyword(self) -> bool[src]

Used for sanity checking rustdoc keyword sections.

pub fn is_path_segment_keyword(self) -> bool[src]

A keyword or reserved identifier that can be used as a path segment.

pub fn is_bool_lit(self) -> bool[src]

Returns true if the symbol is true or false.

pub fn can_be_raw(self) -> bool[src]

This symbol can be a raw identifier.

Trait Implementations

impl Eq for Symbol[src]

impl Clone for Symbol[src]

impl PartialOrd<Symbol> for Symbol[src]

impl Ord for Symbol[src]

impl PartialEq<Symbol> for Symbol[src]

impl Copy for Symbol[src]

impl Hash for Symbol[src]

impl Display for Symbol[src]

impl Debug for Symbol[src]

impl Encodable for Symbol[src]

impl Decodable for Symbol[src]

Auto Trait Implementations

impl Unpin for Symbol

impl Sync for Symbol

impl Send for Symbol

impl UnwindSafe for Symbol

impl RefUnwindSafe for Symbol

Blanket Implementations

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> From<T> for T[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Encodable for T where
    T: UseSpecializedEncodable + ?Sized
[src]

impl<T> Decodable for T where
    T: UseSpecializedDecodable
[src]

impl<E> SpecializationError for E[src]

impl<Q, K> Equivalent<K> for Q where
    K: Borrow<Q> + ?Sized,
    Q: Eq + ?Sized
[src]

impl<T> Erased for T[src]