Struct gluon_base::types::ArcType

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

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, ArcType<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, ArcType<Id>>

The resulting type after dereferencing.

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

Dereferences the value.

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

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

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

Performs the conversion.

impl<Id> From<Type<Id, ArcType<Id>>> for ArcType<Id> where
    Id: PartialEq, 

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

Performs the conversion.

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, 

Feeds a slice of this type into the given [Hasher].

impl<Id: PartialEq> PartialEq<ArcType<Id>> 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: &ArcType<Id>) -> bool

This method tests for !=.

impl<Id> Pointer for ArcType<Id>

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

Formats the value using the given formatter.

impl<Id> StructuralEq for ArcType<Id>

impl<Id> StructuralPartialEq for ArcType<Id>

impl<'a, I, A> ToDoc<'a, Arena<'a, A>, A, &'a (dyn Source + 'a)> 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 replace_generics(
    &self,
    interner: &mut impl TypeContext<Self::Id, Self>,
    named_variables: &mut FnvMap<Self::Id, Self>
) -> Option<Self> where
    Self::Id: Clone + Eq + Hash,
    Self::SpannedId: Clone,
    Self: Clone,
    Self::Types: Clone,
    Self::Generics: Clone,
    Self::Fields: Clone, 

fn replace_generics_(
    &self,
    interner: &mut impl TypeContext<Self::Id, Self>,
    named_variables: &mut FnvMap<Self::Id, Self>
) -> Option<Self> where
    Self::Id: Clone + Eq + Hash,
    Self::SpannedId: Clone,
    Self: Clone,
    Self::Types: Clone,
    Self::Generics: Clone,
    Self::Fields: Clone, 

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

fn pretty<'a, A>(
    &'a self,
    arena: &'a Arena<'a, A>
) -> DocBuilder<'a, Arena<'a, A>, A> where
    Self::Id: AsRef<str> + 'a,
    Self::SpannedId: AsRef<str> + AsId<Self::Id> + 'a,
    A: Clone,
    Self: HasMetadata + HasSpan, 

fn apply_args<'a>(
    &self,
    params: &[Generic<Self::Id>],
    args: &'a [Self],
    interner: &mut impl TypeContext<Self::Id, Self>,
    named_variables: &mut FnvMap<Self::Id, Self>
) -> Option<Self> where
    Self::Id: Clone + Eq + Hash,
    Self::SpannedId: Clone,
    Self: Display,
    Self::Id: Display,
    Self::Types: Clone + FromIterator<Self>,
    Self::Generics: Clone,
    Self::Fields: Clone, 

Applies a list of arguments to a parameterised type, returning Some if the substitution was successful.

fn arg_application<'a>(
    &self,
    params: &[Generic<Self::Id>],
    args: &'a [Self],
    interner: &mut impl TypeContext<Self::Id, Self>,
    named_variables: &mut FnvMap<Self::Id, Self>
) -> Option<(Self, &'a [Self])> where
    Self::Id: Clone + Eq + Hash,
    Self: Display,
    Self::Id: Display,
    Self::Types: FromIterator<Self>,
    Self::Generics: Clone,
    Self::Fields: Clone, 

fn instantiate_generics(
    &self,
    interner: &mut impl Substitution<Self::Id, Self>,
    named_variables: &mut FnvMap<Self::Id, Self>
) -> Self where
    Self::Id: Clone + Eq + Hash,
    Self::SpannedId: Clone,
    Self::Types: Clone,
    Self::Generics: Clone,
    Self::Fields: Clone, 

fn skolemize(
    &self,
    interner: &mut impl Substitution<Self::Id, Self>,
    named_variables: &mut FnvMap<Self::Id, Self>
) -> Self where
    Self::Id: Clone + Eq + Hash,
    Self::SpannedId: Clone,
    Self::Types: Clone,
    Self::Generics: Clone,
    Self::Fields: Clone, 

fn skolemize_in(
    &self,
    interner: &mut impl Substitution<Self::Id, Self>,
    named_variables: &mut FnvMap<Self::Id, Self>,
    f: impl FnOnce(Self) -> Self
) -> Self where
    Self::Id: Clone + Eq + Hash,
    Self::SpannedId: Clone,
    Self::Types: Clone,
    Self::Generics: FromIterator<Generic<Self::Id>> + Clone,
    Self::Fields: Clone, 

impl<Id> TypePtr for ArcType<Id>

type Id = Id

type SpannedId = Id

type Types = AppVec<Self>

type Generics = Vec<Generic<Id>>

type Fields = Vec<Field<Id, Self>>

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

fn flags(&self) -> Flags

fn spine(&self) -> &Self

fn display<A>(&self, width: usize) -> TypeFormatter<'_, Self::Id, Self, A> where
    Self::Id: AsRef<str>,
    Self::SpannedId: AsRef<str>,