Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions noir_stdlib/src/meta/typ.nr
Original file line number Diff line number Diff line change
Expand Up @@ -94,7 +94,7 @@ impl Type {
/// If this is a mutable reference type `&mut T`, returns the mutable type `T`.
#[builtin(type_as_mutable_reference)]
// docs:start:as_mutable_reference
comptime fn as_mutable_reference(self) -> Option<Type> {}
pub comptime fn as_mutable_reference(self) -> Option<Type> {}
// docs:end:as_mutable_reference

/// If this is a slice type, return the element type of the slice.
Expand Down Expand Up @@ -187,7 +187,7 @@ impl Type {
/// Returns `true` if this type is the unit `()` type.
#[builtin(type_is_unit)]
// docs:start:is_unit
comptime fn is_unit(self) -> bool {}
pub comptime fn is_unit(self) -> bool {}
// docs:end:is_unit
}

Expand Down
8 changes: 4 additions & 4 deletions noir_stdlib/src/meta/unresolved_type.nr
Original file line number Diff line number Diff line change
Expand Up @@ -6,19 +6,19 @@ impl UnresolvedType {
/// If this is a mutable reference type `&mut T`, returns the mutable type `T`.
#[builtin(unresolved_type_as_mutable_reference)]
// docs:start:as_mutable_reference
comptime fn as_mutable_reference(self) -> Option<UnresolvedType> {}
pub comptime fn as_mutable_reference(self) -> Option<UnresolvedType> {}
// docs:end:as_mutable_reference

/// If this is a slice `&[T]`, returns the element type `T`.
#[builtin(unresolved_type_as_slice)]
// docs:start:as_slice
comptime fn as_slice(self) -> Option<UnresolvedType> {}
pub comptime fn as_slice(self) -> Option<UnresolvedType> {}
// docs:end:as_slice

/// Returns `true` if this type is `bool`.
#[builtin(unresolved_type_is_bool)]
// docs:start:is_bool
comptime fn is_bool(self) -> bool {}
pub comptime fn is_bool(self) -> bool {}
// docs:end:is_bool

/// Returns true if this type refers to the `Field` type.
Expand All @@ -30,6 +30,6 @@ impl UnresolvedType {
/// Returns true if this type is the unit `()` type.
#[builtin(unresolved_type_is_unit)]
// docs:start:is_unit
comptime fn is_unit(self) -> bool {}
pub comptime fn is_unit(self) -> bool {}
// docs:end:is_unit
}
Loading