Version: dev

UnresolvedType

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

Methods

as_mutable_reference
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_slice
comptime fn as_slice(self) -> Option<UnresolvedType> {}

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

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

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

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

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#L26-L28}}

Returns true if this type refers to the Field type.

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

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

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