Struct orzir::dialects::std::builtin::UnitTy

pub struct UnitTy;

Implementations

impl UnitTy

pub fn get(ctx: &mut Context) -> ArenaPtr<TyObj>

Trait Implementations

impl Debug for UnitTy

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

Formats the value using the given formatter.

impl Hash for UnitTy

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

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Parse for UnitTy

type Item = ArenaPtr<TyObj>

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

impl PartialEq for UnitTy

fn eq(&self, other: &UnitTy) -> 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 UnitTy

fn print(&self, __ctx: &Context, __state: &mut PrintState) -> PrintResult<()>

impl RunVerifiers for UnitTy

fn run_verifiers(&self, ctx: &Context) -> VerifyResult<()>

impl Ty for UnitTy

fn mnemonic(&self) -> Mnemonic

Get the mnemonic of the type.

fn mnemonic_static() -> Mnemonic

Get the mnemonic of the type statically.

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

Check if the type is equal to another type.

fn register(ctx: &mut Context, parse_fn: TyParseFn)

where Self: Sized,

impl Verify for UnitTy

fn verify(&self, ctx: &Context) -> Result<(), VerifyError>

impl Eq for UnitTy

impl StructuralPartialEq for UnitTy