Struct gluon_base::types::ArcType

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

A shared type which is atomically reference counted

Methods

impl<Id> ArcType<Id>

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

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

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

Trait Implementations

impl<Id> Commented for ArcType<Id>

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

impl<Id> HasSpan for ArcType<Id>

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

impl<Id> TypeExt for ArcType<Id>

type Id = Id

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

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

fn flags(&self) -> Flags

Important traits for TypeFieldIterator<'a, T>

impl<'a, Id: 'a, T> Iterator for TypeFieldIterator<'a, T> where
    T: Deref<Target = Type<Id, T>>,  type Item = &'a Field<Id, Alias<Id, T>>;

fn type_field_iter(&self) -> TypeFieldIterator<Self>

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

Important traits for RowIterator<'a, T>

impl<'a, Id: 'a, T> Iterator for RowIterator<'a, T> where
    T: Deref<Target = Type<Id, T>>,  type Item = &'a Field<Id, T>;

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: Clone, 

Important traits for ForallScopeIter<'a, T>

impl<'a, T, Id: 'a> Iterator for ForallScopeIter<'a, T> where
    T: Deref<Target = Type<Id, T>>,  type Item = &'a Generic<Id>;

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,
    A: Clone,
    Self: Commented + HasSpan, 

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

fn apply_args(
    &self,
    params: &[Generic<Self::Id>],
    args: &[Self],
    interner: &mut impl TypeContext<Self::Id, Self>
) -> Option<Self> where
    Self::Id: Clone + Eq + Hash, 

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

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, 

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

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, 

impl<'a, I, A> ToDoc<'a, Arena<Doc<'a, RefDoc<'a, A>, A>>, A, ()> for ArcType<I> where
    I: AsRef<str>,
    A: Clone, 

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

impl<'a, I, A> ToDoc<'a, Arena<Doc<'a, RefDoc<'a, A>, A>>, A, &'a (dyn Source + 'a)> for ArcType<I> where
    I: AsRef<str>,
    A: Clone, 

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

impl TypeContextAlloc for ArcType

type Id = Symbol

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

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> Default for ArcType<Id>

fn default() -> Self

Returns the "default value" for a type.

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

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

Performs the conversion.

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

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

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

Formats the value using the given formatter.

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

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

Formats the value using the given formatter.

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

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

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> 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> Pointer for ArcType<Id>

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

Formats the value using the given formatter.

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> StableDeref for ArcType<Id>