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>

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

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

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

fn row_iter(&self) -> RowIterator<Self>

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

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

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

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

fn instantiate_generics(
    &self,
    named_variables: &mut FnvMap<Id, ArcType<Id>>
) -> ArcType<Id> where
    Id: Clone + Eq + Hash, 

fn instantiate_generics_(
    &self,
    named_variables: &FnvMap<Id, ArcType<Id>>
) -> Option<ArcType<Id>> where
    Id: Clone + Eq + Hash, 

fn forall_scope_iter(&self) -> ForallScopeIter<Id>

fn pretty<'a>(&'a self, arena: &'a Arena<'a>) -> DocBuilder<'a, Arena<'a>> where
    Id: AsRef<str>, 

impl ArcType

fn params_mut(&mut self) -> &mut [Generic<Symbol>]

fn apply_args(&self, args: &[ArcType]) -> Option<ArcType>

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

Example:

self = forall e t . | Err e | Ok t
args = [Error, Option a]
result = | Err Error | Ok (Option a)

impl<Id> ArcType<Id>

fn level(&self) -> u32

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

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

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

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

fn unapplied_args(&self) -> Cow<[T]> where
    T: Clone, 

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

fn is_non_polymorphic_record(&self) -> bool

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

fn kind(&self) -> Cow<ArcKind>

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

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

Trait Implementations

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

impl<Id: PartialEq> PartialEq for ArcType<Id>

fn eq(&self, __arg_0: &ArcType<Id>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &ArcType<Id>) -> bool

This method tests for !=.

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

fn hash<__HId: Hasher>(&self, __arg_0: &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> 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: AsRef<str>> Display for ArcType<Id>

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

Formats the value using the given formatter.

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

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

impl<Id> Commented for ArcType<Id>

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

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

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

Performs the conversion.

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

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

impl<'a, 'e, I> ToDoc<'a, Arena<'a>, &'e Source<'a>> for ArcType<I> where
    I: AsRef<str>, 

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