Struct gluon_base::types::ArcType

pub struct ArcType<Id = Symbol> { /* private fields */ }

A shared type which is atomically reference counted

Implementations

impl<Id> ArcType<Id>

where Id: PartialEq,

pub fn new(typ: Type<Id, ArcType<Id>>) -> ArcType<Id>

impl<Id> ArcType<Id>

pub fn set(into: &mut Self, typ: Type<Id, Self>)

where Id: Clone + PartialEq,

pub fn level(&self) -> u32

Returns the lowest level which this type contains. The level informs from where type variables where created.

pub fn needs_generalize(&self) -> bool

where Id: PartialEq,

pub fn forall_params(&self) -> impl Iterator<Item = &Generic<Id>>

Methods from Deref<Target = Type<Id, ArcType<Id>>>

pub fn as_variable(&self) -> Option<&TypeVariable>

pub fn is_array(&self) -> bool

pub fn as_function(&self) -> Option<(&T, &T)>

pub fn as_explicit_function(&self) -> Option<(&T, &T)>

pub fn as_function_with_type(&self) -> Option<(ArgType, &T, &T)>

pub fn unapplied_args(&self) -> Cow<'_, [T]>

where T: Clone,

pub fn alias_ident(&self) -> Option<&Id>

pub fn applied_alias(&self) -> Option<&AliasRef<Id, T>>

pub fn is_non_polymorphic_record(&self) -> bool

pub fn params(&self) -> &[Generic<Id>]

pub fn kind<'k>(&'k self, cache: &'k KindCache) -> Cow<'k, ArcKind>

pub fn name(&self) -> Option<&SymbolRef>

Returns the name of self Example: Option a => Option Int => Int

pub fn owned_name(&self) -> Option<SymbolKey>

Trait Implementations

impl<'ast, Id> AstClone<'ast, Id> for ArcType<Id>

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

impl<Id> Borrow<Type<Id>> for ArcType<Id>

fn borrow(&self) -> &Type<Id, ArcType<Id>>

Immutably borrows from an owned value.

impl<Id> Clone for ArcType<Id>

fn clone(&self) -> ArcType<Id>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Id: Debug> Debug for ArcType<Id>

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

Formats the value using the given formatter.

impl<Id> Default for ArcType<Id>

where Id: PartialEq,

fn default() -> Self

Returns the “default value” for a type.

impl<Id> Deref for ArcType<Id>

type Target = Type<Id>

The resulting type after dereferencing.

fn deref(&self) -> &Type<Id, ArcType<Id>>

Dereferences the value.

impl<'de, Id> DeserializeState<'de, Seed<Id, ArcType<Id>>> for ArcType<Id>

where Id: DeserializeState<'de, Seed<Id, ArcType<Id>>> + Clone + Any + PartialEq,

fn deserialize_state<D>( seed: &mut Seed<Id, ArcType<Id>>, deserializer: D ) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserializes Self using seed and the deserializer

impl<Id: AsRef<str> + AsId<Id>> Display for ArcType<Id>

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

Formats the value using the given formatter.

impl<Id> From<(Type<Id>, Flags)> for ArcType<Id>

fn from((typ, flags): (Type<Id, ArcType<Id>>, Flags)) -> ArcType<Id>

Converts to this type from the input type.

impl<Id> From<Type<Id>> for ArcType<Id>

where Id: PartialEq,

fn from(typ: Type<Id, ArcType<Id>>) -> ArcType<Id>

Converts to this type from the input type.

impl<Id> HasMetadata for ArcType<Id>

fn metadata(&self) -> Option<&Metadata>

fn comment(&self) -> Option<&Comment>

impl<Id> HasSpan for ArcType<Id>

fn span(&self) -> Span<BytePos>

impl<Id: Hash> Hash for ArcType<Id>

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

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<Id: PartialEq> PartialEq for ArcType<Id>

fn eq(&self, other: &ArcType<Id>) -> 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<Id> Pointer for ArcType<Id>

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

Formats the value using the given formatter.

impl<Id> SerializeState<SeSeed> for ArcType<Id>

where Id: SerializeState<SeSeed> + PartialEq,

fn serialize_state<S>( &self, serializer: S, seed: &SeSeed ) -> Result<S::Ok, S::Error>

where S: Serializer,

Serializes self

impl<Id> Shared for ArcType<Id>

where Id: PartialEq,

fn unique(&self) -> bool

fn as_ptr(&self) -> *const ()

impl<'a, I, A> ToDoc<'a, Arena<'a, A>, A, &'a dyn Source> for ArcType<I>

where I: AsRef<str> + AsId<I>, A: Clone,

fn to_doc( &'a self, arena: &'a Arena<'a, A>, source: &'a dyn Source ) -> DocBuilder<'a, Arena<'a, A>, A>

impl<'a, I, A> ToDoc<'a, Arena<'a, A>, A, ()> for ArcType<I>

where I: AsRef<str> + AsId<I>, A: Clone,

fn to_doc( &'a self, arena: &'a Arena<'a, A>, _: () ) -> DocBuilder<'a, Arena<'a, A>, A>

impl TypeContextAlloc for ArcType

fn alloc(into: &mut Self, typ: Type<Symbol, Self>, flags: Flags)

impl<Id> TypeExt for ArcType<Id>

fn strong_count(typ: &ArcType<Id>) -> usize

fn type_field_iter(&self) -> TypeFieldIterator<'_, Self>

Returns an iterator over all type fields in a record. { Test, Test2, x, y } => [Test, Test2]

fn arg_iter(&self) -> ArgIterator<'_, Self>

fn implicit_arg_iter(&self) -> ImplicitArgIterator<'_, Self>

fn row_iter(&self) -> RowIterator<'_, Self>

Returns an iterator over all fields in a record. { Test, Test2, x, y } => [x, y]

fn remove_implicit_args<'a>(&'a self) -> &'a Self

fn remove_forall<'a>(&'a self) -> &'a Self

fn remove_forall_and_implicit_args<'a>(&'a self) -> &'a Self

fn forall_scope_iter(&self) -> ForallScopeIter<'_, Self>

impl<Id> TypePtr for ArcType<Id>

type Id = Id

type SpannedId = Id

type Types = SmallVec<[ArcType<Id>; 2]>

type Generics = Vec<Generic<Id>>

type Fields = Vec<Field<Id>>

type TypeFields = Vec<Field<Id, Alias<Id, ArcType<Id>>>>

fn flags(&self) -> Flags

fn spine(&self) -> &Self

impl<Id: Eq> Eq for ArcType<Id>

impl<Id> StructuralEq for ArcType<Id>

impl<Id> StructuralPartialEq for ArcType<Id>