aztec-nr - std

Primitive type UnresolvedType

A compile-time type which represents the syntax of a type.

That is, it could be for example [Foo; 3] without necessarilly Foo existing in the source program.

Implementations

impl UnresolvedType

pub comptime fn as_mutable_reference(self) -> Option<Self>

If this is a mutable reference type &mut T, returns the mutable type T.

pub comptime fn as_slice(self) -> Option<Self>

If this is a slice &[T], returns the element type T.

pub comptime fn is_bool(self) -> bool

Returns true if this type is bool.

pub comptime fn is_field(self) -> bool

Returns true if this type refers to the Field type.

pub comptime fn is_unit(self) -> bool

Returns true if this type is the unit () type.