swamp_script_semantic

Struct ResolvedProgramTypes

pub struct ResolvedProgramTypes {
    pub int_type: ResolvedIntTypeRef,
    pub float_type: ResolvedFloatTypeRef,
    pub string_type: ResolvedStringTypeRef,
    pub bool_type: ResolvedBoolTypeRef,
    pub unit_type: ResolvedUnitTypeRef,
    pub exclusive_range_type: ResolvedExclusiveRangeTypeRef,
}

Fields§

§int_type: ResolvedIntTypeRef§float_type: ResolvedFloatTypeRef§string_type: ResolvedStringTypeRef§bool_type: ResolvedBoolTypeRef§unit_type: ResolvedUnitTypeRef§exclusive_range_type: ResolvedExclusiveRangeTypeRef

Implementations§

impl ResolvedProgramTypes

pub fn new() -> Self

pub fn unit_type(&self) -> ResolvedType

pub fn int_type(&self) -> ResolvedType

pub fn float_type(&self) -> ResolvedType

pub fn string_type(&self) -> ResolvedType

pub fn bool_type(&self) -> ResolvedType

Trait Implementations§

impl Debug for ResolvedProgramTypes

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

impl Freeze for ResolvedProgramTypes

impl RefUnwindSafe for ResolvedProgramTypes

impl !Send for ResolvedProgramTypes

impl !Sync for ResolvedProgramTypes

impl Unpin for ResolvedProgramTypes

impl UnwindSafe for ResolvedProgramTypes

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> 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, 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.