Struct gluon_base::ast::AstType

pub struct AstType<'ast, Id> { /* fields omitted */ }

Implementations

impl<'ast, Id> AstType<'ast, Id>

pub fn new(
    arena: ArenaRef<'_, 'ast, Id>,
    typ: Spanned<Type<Id, AstType<'ast, Id>>, BytePos>
) -> Self

pub fn new_no_loc(
    arena: ArenaRef<'_, 'ast, Id>,
    typ: Type<Id, AstType<'ast, Id>>
) -> Self

pub fn with_metadata<T>(
    arena: ArenaRef<'_, 'ast, Id>,
    metadata: T,
    typ: Spanned<Type<Id, AstType<'ast, Id>>, BytePos>
) -> Self where
    T: Into<BaseMetadata<'ast>>, 

pub fn set_metadata<T>(&mut self, metadata: T) where
    T: Into<BaseMetadata<'ast>>, 

pub fn remove_single_forall(&mut self) -> &mut AstType<'ast, Id>

pub fn span_mut(&mut self) -> &mut Span<BytePos>

Methods from Deref<Target = Type<Id, AstType<'ast, 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> AsMut<Spanned<Type<Id, AstType<'ast, Id>>, ByteIndex>> for AstType<'ast, Id>

fn as_mut(&mut self) -> &mut SpannedAstType<'ast, Id>

Performs the conversion.

impl<'ast, Id> AstAlloc<'ast, Id> for AstType<'ast, Id>

fn alloc(self, arena: &'ast Arena<'ast, Id>) -> &'ast mut Self

fn alloc_extend(
    iter: impl IntoIterator<Item = Self>,
    arena: &'ast Arena<'ast, Id>
) -> &'ast mut [Self]

impl<'ast, Id> AstClone<'ast, Id> for AstType<'ast, Id> where
    Id: AstClone<'ast, Id>,
    Id: Clone, 

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

impl<Id: Debug, '_> Debug for AstType<'_, Id>

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

Formats the value using the given formatter.

impl<'ast, Id> Deref for AstType<'ast, Id>

type Target = Type<Id, AstType<'ast, Id>>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'ast, Id> DerefMut for AstType<'ast, Id>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl<Id: AsRef<str> + AsId<Id>, '_> Display for AstType<'_, Id>

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

Formats the value using the given formatter.

impl<'ast, Id: Eq> Eq for AstType<'ast, Id>

impl<Id, '_> HasMetadata for AstType<'_, Id>

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

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

impl<Id, '_> HasSpan for AstType<'_, Id>

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

impl<'ast, Id: PartialEq> PartialEq<AstType<'ast, Id>> for AstType<'ast, Id>

fn eq(&self, other: &AstType<'ast, Id>) -> bool

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

fn ne(&self, other: &AstType<'ast, Id>) -> bool

This method tests for !=.

impl<'ast, Id> RefUnwindSafe for AstType<'ast, Id> where
    Id: RefUnwindSafe, 

impl<'ast, Id> Send for AstType<'ast, Id> where
    Id: Send, 

impl<'ast, Id> StructuralEq for AstType<'ast, Id>

impl<'ast, Id> StructuralPartialEq for AstType<'ast, Id>

impl<'ast, Id> Sync for AstType<'ast, Id> where
    Id: Sync, 

impl<'ast, Id, '_> TypeContext<Id, AstType<'ast, Id>> for ArenaRef<'_, 'ast, Id>

fn intern(&mut self, typ: Type<Id, AstType<'ast, Id>>) -> AstType<'ast, Id>

fn intern_types(
    &mut self,
    types: impl IntoIterator<Item = AstType<'ast, Id>>
) -> &'ast mut [AstType<'ast, Id>]

fn intern_generics(
    &mut self,
    types: impl IntoIterator<Item = Generic<Id>>
) -> &'ast mut [Generic<Id>]

fn intern_fields(
    &mut self,
    types: impl IntoIterator<Item = Field<Spanned<Id, BytePos>, AstType<'ast, Id>>>
) -> &'ast mut [Field<Spanned<Id, BytePos>, AstType<'ast, Id>>]

fn intern_type_fields(
    &mut self,
    types: impl IntoIterator<Item = Field<Spanned<Id, BytePos>, Alias<Id, AstType<'ast, Id>>>>
) -> &'ast mut [Field<Spanned<Id, BytePos>, Alias<Id, AstType<'ast, Id>>>]

fn intern_flags(
    &mut self,
    typ: Type<Id, AstType<'ast, Id>>,
    _flags: Flags
) -> AstType<'ast, Id>

fn hole(&mut self) -> T

fn opaque(&mut self) -> T

fn error(&mut self) -> T

fn builtin(&mut self, typ: BuiltinType) -> T

fn forall(&mut self, params: T::Generics, typ: T) -> T

fn with_forall(&mut self, typ: T, from: &T) -> T where
    Id: Clone + Eq + Hash,
    T: TypeExt<Id = Id> + Clone,
    T::Generics: FromIterator<Generic<Id>> + Clone, 

fn array(&mut self, typ: T) -> T

fn array_builtin(&mut self) -> T

fn app(&mut self, id: T, args: T::Types) -> T

fn variant(&mut self, fields: T::Fields) -> T

fn poly_variant(&mut self, fields: T::Fields, rest: T) -> T

fn effect(&mut self, fields: T::Fields) -> T

fn poly_effect(&mut self, fields: T::Fields, rest: T) -> T

fn tuple<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> T where
    S: IdentEnv<Ident = Id>,
    T::SpannedId: From<Id>,
    I: IntoIterator<Item = T>, 

fn tuple_<S: ?Sized, I>(&mut self, symbols: &mut S, elems: I) -> Type<Id, T> where
    S: IdentEnv<Ident = Id>,
    T::SpannedId: From<Id>,
    I: IntoIterator<Item = T>, 

fn record(&mut self, types: T::TypeFields, fields: T::Fields) -> T

fn poly_record(&mut self, types: T::TypeFields, fields: T::Fields, rest: T) -> T

fn extend_full_row(
    &mut self,
    types: T::TypeFields,
    fields: T::Fields,
    rest: T
) -> T

fn extend_row(&mut self, fields: T::Fields, rest: T) -> T

fn extend_type_row(&mut self, types: T::TypeFields, rest: T) -> T

fn empty_row(&mut self) -> T

fn function<I>(&mut self, args: I, ret: T) -> T where
    I: IntoIterator<Item = T>,
    I::IntoIter: DoubleEndedIterator<Item = T>, 

fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
    I: IntoIterator<Item = T>,
    I::IntoIter: DoubleEndedIterator<Item = T>, 

fn function_type<I>(&mut self, arg_type: ArgType, args: I, ret: T) -> T where
    I: IntoIterator<Item = T>,
    I::IntoIter: DoubleEndedIterator<Item = T>, 

fn generic(&mut self, typ: Generic<Id>) -> T

fn skolem(&mut self, typ: Skolem<Id>) -> T

fn variable(&mut self, typ: TypeVariable) -> T

fn alias(&mut self, name: Id, args: T::Generics, typ: T) -> T

fn ident(&mut self, id: KindedIdent<Id>) -> T

fn projection(&mut self, id: AppVec<Id>) -> T

fn function_builtin(&mut self) -> T

fn string(&mut self) -> T

fn char(&mut self) -> T

fn byte(&mut self) -> T

fn int(&mut self) -> T

fn float(&mut self) -> T

fn unit(&mut self) -> T

fn builtin_type(&mut self, typ: BuiltinType) -> T

fn new_alias(&mut self, name: Id, args: T::Generics, typ: T) -> Alias<Id, T>

fn new_data_alias(&mut self, data: AliasData<Id, T>) -> Alias<Id, T>

fn alias_group(&mut self, group: Vec<AliasData<Id, T>>) -> Vec<Alias<Id, T>> where
    T: TypeExt<Id = Id>,
    Id: PartialEq, 

impl<'ast, Id> TypePtr for AstType<'ast, Id>

type Id = Id

type SpannedId = Spanned<Id, BytePos>

type Types = &'ast mut [AstType<'ast, Id>]

type Generics = &'ast mut [Generic<Id>]

type Fields = &'ast mut [Field<Self::SpannedId, Self>]

type TypeFields = &'ast mut [Field<Self::SpannedId, 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>,