spacetimedb_expr_2::ty

Struct TyId

Source 
pub struct TyId(/* private fields */);
Expand description

When type checking a super::expr::RelExpr, types are stored in a typing context TyCtx. It will then hold references, in the form of TyIds, to the types defined in the TyCtx.

Implementations§

Source§

impl TyId

Source

pub const BOOL: Self = _

A static type id for Bool

Source

pub const I8: Self = _

A static type id for I8

Source

pub const U8: Self = _

A static type id for U8

Source

pub const I16: Self = _

A static type id for I16

Source

pub const U16: Self = _

A static type id for U16

Source

pub const I32: Self = _

A static type id for I32

Source

pub const U32: Self = _

A static type id for U32

Source

pub const I64: Self = _

A static type id for I64

Source

pub const U64: Self = _

A static type id for U64

Source

pub const I128: Self = _

A static type id for I128

Source

pub const U128: Self = _

A static type id for U128

Source

pub const I256: Self = _

A static type id for I256

Source

pub const U256: Self = _

A static type id for U256

Source

pub const F32: Self = _

A static type id for F32

Source

pub const F64: Self = _

A static type id for F64

Source

pub const STR: Self = _

A static type id for String

Source

pub const BYTES: Self = _

A static type id for a byte array

Source

pub const IDENT: Self = _

A static type id for AlgebraicType::identity()

Trait Implementations§

Source§

impl Clone for TyId

Source§

fn clone(&self) -> TyId

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for TyId

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Display for TyId

Source§

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

Formats the value using the given formatter. Read more
Source§

impl PartialEq for TyId

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Copy for TyId

Source§

impl Eq for TyId

Source§

impl StructuralPartialEq for TyId

Auto Trait Implementations§

§

impl Freeze for TyId

§

impl RefUnwindSafe for TyId

§

impl Send for TyId

§

impl Sync for TyId

§

impl Unpin for TyId

§

impl UnwindSafe for TyId

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dst: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
Source§

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

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

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

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> ToString for T
where T: Display + ?Sized,

Source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.