Struct gluon_base::ast::AstType

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

Methods

impl<Id> AstType<Id>

pub fn with_comment<T>(     comment: T,     typ: Spanned<Type<Id, AstType<Id>>, BytePos> ) -> Self where     T: Into<Option<Comment>>,

pub fn set_comment<T>(&mut self, comment: T) where     T: Into<Option<Comment>>,

pub fn into_inner(self) -> Type<Id, Self>

pub fn as_mut(&mut self) -> &mut SpannedAstType<Id>

Important traits for &'a [u8]

impl<'a> Read for &'a [u8]impl<'a> Write for &'a mut [u8]

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

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

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

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

pub fn as_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 is_non_polymorphic_record(&self) -> bool

Important traits for &'a [u8]

impl<'a> Read for &'a [u8]impl<'a> Write for &'a mut [u8]

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

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

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

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

Trait Implementations

impl<Id: Clone> Clone for AstType<Id>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Id: Eq> Eq for AstType<Id>

impl<Id: PartialEq> PartialEq for AstType<Id>

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

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

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

This method tests for !=.

impl<Id: Debug> Debug for AstType<Id>

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

Formats the value using the given formatter.

impl<Id> Deref for AstType<Id>

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

The resulting type after dereferencing.

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

Dereferences the value.

impl<Id> DerefMut for AstType<Id>

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

Mutably dereferences the value.

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

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

Formats the value using the given formatter.

impl<Id> From<Spanned<Type<Id, AstType<Id>>, BytePos>> for AstType<Id>

fn from(typ: Spanned<Type<Id, AstType<Id>>, BytePos>) -> Self

Performs the conversion.

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

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

Performs the conversion.

impl<Id> HasSpan for AstType<Id>

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

impl<Id> Commented for AstType<Id>

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