Version: dev

UnresolvedType

std::meta::unresolved_type contains methods on the built-in UnresolvedType type for the syntax of types.

Methods

as_mutable_reference
pub comptime fn as_mutable_reference(self) -> Option<UnresolvedType> {}

^{_{Source code: noir_stdlib/src/meta/unresolved_type.nr#L8-L10}}

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

as_vector
pub comptime fn as_vector(self) -> Option<UnresolvedType> {}

^{_{Source code: noir_stdlib/src/meta/unresolved_type.nr#L14-L16}}

If this is a vector @[T], returns the element type T.

is_bool
pub comptime fn is_bool(self) -> bool {}

^{_{Source code: noir_stdlib/src/meta/unresolved_type.nr#L25-L27}}

Returns true if this type is bool.

is_field
pub comptime fn is_field(self) -> bool {}

^{_{Source code: noir_stdlib/src/meta/unresolved_type.nr#L31-L33}}

Returns true if this type refers to the Field type.

is_unit
pub comptime fn is_unit(self) -> bool {}

^{_{Source code: noir_stdlib/src/meta/unresolved_type.nr#L37-L39}}

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