Struct orzir_core::TyObj

pub struct TyObj(/* private fields */);

Implementations

impl TyObj

pub fn is_a<T: Ty>(&self) -> bool

Check if the type object is a concrete type.

pub fn as_a<T: Ty>(&self) -> Option<&T>

Try to downcast the type object to a concrete type.

pub fn impls<T: ?Sized + 'static>(&self, ctx: &Context) -> bool

Check if the type object implements a trait.

pub fn cast_ref<T: ?Sized + 'static>(&self, ctx: &Context) -> Option<&T>

Try to cast the type object to another trait.

Trait Implementations

impl AsRef<dyn Ty> for TyObj

fn as_ref(&self) -> &dyn Ty

Converts this type into a shared reference of the (usually inferred) input type.

impl<T> From<T> for TyObj

where T: Ty,

fn from(t: T) -> Self

Converts to this type from the input type.

impl Parse for TyObj

type Item = ArenaPtr<TyObj>

fn parse( ctx: &mut Context, state: &mut ParseState<'_> ) -> ParseResult<Self::Item>

impl PartialEq for TyObj

fn eq(&self, other: &Self) -> bool

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Print for TyObj

fn print(&self, ctx: &Context, state: &mut PrintState) -> PrintResult<()>

impl Eq for TyObj