The prelude is imported automatically into every Ante file
Types
String
type String =
data: Ptr Char
refcount: Ptr U32
length: U32
offset: U32
String.from_parts
String.from_parts (pointer: Ptr Char) (length: U32): String
Construct a fresh, unaliased string from an owned pointer to characters and a length.
Maybe
type Maybe t =
| None
| Some t
Maybe.unwrap
Maybe.unwrap (m: Maybe t): t can Panic
Maybe.unwrap_or_else
Maybe.unwrap_or_else (m: Maybe t) (f: fn Unit [_] -> t): t
IO
effect IO = Fs, Net
A convenience alias for the set of all primitive effects. This may expand over time.
Result
type Result t e =
| Ok t
| Error e
,
type , a b =
first: a
second: b
Type
type Type t =
| MkType
Range
type Range t =
start: t
end: t
Traits
Cast
trait Cast a b (e: effect) =
cast: fn a -> b can e
A type conversion from a to b
TryCast
trait TryCast a b (e: effect) =
try_cast: fn a -> b can Fail, e
Represents a failable type cast from a to b
Add
trait Add n =
+: fn n n -> n
Sub
trait Sub n =
-: fn n n -> n
Mul
trait Mul n =
*: fn n n -> n
Div
trait Div n =
/: fn n n -> n
Mod
trait Mod n =
%: fn n n -> n
Eq
trait Eq t (e: effect) =
==: fn (ref t) (ref t) -> Bool can e
Not
trait Not t =
not: fn t -> t
Cmp
trait Cmp a =
<: fn (ref a) (ref a) -> Bool
Num
trait Num a =
add: Add a
sub: Sub a
mul: Mul a
div: Div a
eq: Eq a pure
cmp: Cmp a
zero: a
one: a
Append
trait Append a =
++: fn a a -> a
Extract
trait Extract collection index elem (e: effect) =
.[]: fn collection index -> elem can e
Bitwise
trait Bitwise t =
band: fn t t -> t
bor: fn t t -> t
bxor: fn t t -> t
Copy
trait Copy t =
.*: fn (ref t) -> t
Clone
trait Clone t =
clone: fn (ref t) -> t
Drop
trait Drop t (e: effect) =
drop: fn (mut t) -> Unit can e
Insert
trait Insert collection index elem (e: effect) =
.[]:=: fn collection index elem -> Unit can e
Insert an element into a collection.
col.[i] := elem resolves to Insert while col.[i] alone resolves to Extract
Display
trait Display t (e: effect) =
print: fn (ref t) -> Unit can Print, e
Iterator
trait Iterator it elem (effects: effect) =
next: fn it -> Maybe (it, elem) can effects
Effects
Fs
effect Fs =
Net
effect Net =
effect Print =
write: fn (ref String) -> Unit
write_char: fn Char -> Unit
write_u64: fn U64 -> Unit
write_i64: fn I64 -> Unit
write_f64: fn F64 -> Unit
Panic
effect Panic =
panic: fn String -> Never
Functions
iff
iff (condition: Bool) (then_: fn Unit [_] -> a): Maybe a
If condition is true, returns Some (then_ ()),
otherwise returns None.
first
(first: fn (_, _) -> _ is pure) ((,: fn _ _ -> _, _ is pure) (a: _) (_: _))
second
(second: fn (_, _) -> _ is pure) ((,: fn _ _ -> _, _ is pure) (_: _) (b: _))
third
(third: fn (_, (_, _)) -> _ is pure) ((,: fn _ (_, _) -> _, (_, _) is pure) (_: _) ((,: fn _ _ -> _, _ is pure) (_: _) (c: _)))
fourth
(fourth: fn (_, (_, (_, _))) -> _ is pure) ((,: fn _ (_, (_, _)) -> _, (_, (_, _)) is pure) (_: _) ((,: fn _ (_, _) -> _, (_, _) is pure) (_: _) ((,: fn _ _ -> _, _ is pure) (_: _) (d: _))))
fifth
(fifth: fn (_, (_, (_, (_, _)))) -> _ is pure) ((,: fn _ (_, (_, (_, _))) -> _, (_, (_, (_, _))) is pure) (_: _) ((,: fn _ (_, (_, _)) -> _, (_, (_, _)) is pure) (_: _) ((,: fn _ (_, _) -> _, (_, _) is pure) (_: _) ((,: fn _ _ -> _, _ is pure) (_: _) (e: _)))))
%%
%% (a: t) (b: t) {_: Mod t} {_: Eq t e} {_: Cast U8 t e}: Bool can e
!=
(!=: fn (ref t) (ref t) {Eq t e} -> Bool can e) (l: ref t) (r: ref t) {(_: Eq t e)}
>
(>: fn (ref t) (ref t) {Cmp t} -> Bool is pure) (a: ref t) (b: ref t) {(_: Cmp t)}
<=
(<=: fn (ref t) (ref t) {Cmp t} -> Bool is pure) (a: ref t) (b: ref t) {(_: Cmp t)}
>=
(>=: fn (ref t) (ref t) {Cmp t} -> Bool is pure) (a: ref t) (b: ref t) {(_: Cmp t)}
max
max (l: ref 'a t) (r: ref 'a t) {_: Cmp t}: ref 'a t
min
min (l: ref 'a t) (r: ref 'a t) {_: Cmp t}: ref 'a t
|>
(|>: fn _ (fn _ [_] -> _ can _) -> _ can _) (x: _) (f: fn _ [_] -> _ can _)
<|
(<|: fn (fn _ [_] -> _ can _) _ -> _ can _) (f: fn _ [_] -> _ can _) (x: _)
array_len
array_len (_array: ref Array n t): Usz
array_get_unchecked
array_get_unchecked (array: ref Array n t) (i: Usz): ref t
Unsafe get without bounds-checking
array_set_unchecked
array_set_unchecked (array: mut Array n t) (i: Usz) (v: t): Unit
Unsafe set without bounds-checking
array_get
array_get (array: ref Array n t) (index: Usz): ref t can Panic
array_get_mut
array_get_mut (array: mut Array n t) (index: Usz): mut t can Panic
array_set
(array_set: fn (mut (Array n t)) Usz t -> Unit can Panic) (array: mut (Array n t)) (index: Usz) (elem: t)
size_of
size_of (v: Type t): Usz
offset
offset (ptr: Ptr t) (index: Usz): Ptr t
offset_bytes
offset_bytes (ptr: Ptr t) (index: Usz): Ptr t
deref
deref (x: ref t): t
Dereference without a Copy constraint. This is unsafe to use directly
deref_ptr
deref_ptr (p: Ptr t): t
ptr_store
ptr_store (p: Ptr a) (value: a): Unit
array_insert
array_insert (p: Ptr a) (index: Usz) (value: a): Unit
ptr_to_mut
ptr_to_mut: fn (Ptr a) -> mut a
ptr_to_uniq
ptr_to_uniq: fn (Ptr a) -> uniq a
null
null (): Ptr a
transmute
transmute (x: a): b
print_to_sink
print_to_sink (sink: fn (Ptr Char) Usz [_] -> Unit can Fs) (f: a can Print, e): a can Fs, e
Forwards each printed string to the given function expecting a string pointer and the length in bytes of that string pointer.
print_to_stdout
print_to_stdout (f: a can Print, e): a can Fs, e
Handles Print by piping to stdout
print_to_stderr
print_to_stderr (f: a can Print, e): a can Fs, e
Handles Print by piping to stderr
dbg
dbg (s: String): Unit
Display the given String to stderr without using any effects.
This function is intended for debugging purposes. Because it appears pure to the compiler, there is no guarantee it won’t be optimized out of the program.
println
(println: fn (ref t) {Display t e} -> Unit can Print, e) (x: ref t) {(_: Display t e)}
print_float
print_float (f: F64): Unit can Fs
iterate
(iterate: fn it (fn elem [_] -> _ can effects, _) {Iterator it elem effects} -> Unit can effects, _) (iterable: it) (f: fn elem [_] -> _ can effects, _) {(i: Iterator it elem effects)}
iterate_range
iterate_range (from: Usz) (to: Usz) (f: fn Usz [_] -> Unit): Unit
repeat
repeat (count: Usz) (f: fn Usz [_] -> Unit): Unit
abort_on_panic
abort_on_panic (f: a can Panic, e): a can e
ignore
(ignore: fn _ -> Unit is pure) (_x: _)
Implicits
Show Implicits
cast_same
impl cast_same: Cast a a pure
cast_ptr_usz
impl cast_ptr_usz: Cast (Ptr a) Usz pure
cast_usz_ptr
impl cast_usz_ptr: Cast Usz (Ptr a) pure
cast_u8_u16
impl cast_u8_u16: Cast U8 U16 pure
cast_u8_u32
impl cast_u8_u32: Cast U8 U32 pure
cast_u8_u64
impl cast_u8_u64: Cast U8 U64 pure
cast_u8_usz
impl cast_u8_usz: Cast U8 Usz pure
cast_u16_u8
impl cast_u16_u8: Cast U16 U8 pure
cast_u16_u32
impl cast_u16_u32: Cast U16 U32 pure
cast_u16_u64
impl cast_u16_u64: Cast U16 U64 pure
cast_u16_usz
impl cast_u16_usz: Cast U16 Usz pure
cast_u32_u8
impl cast_u32_u8: Cast U32 U8 pure
cast_u32_u16
impl cast_u32_u16: Cast U32 U16 pure
cast_u32_u64
impl cast_u32_u64: Cast U32 U64 pure
cast_u32_usz
impl cast_u32_usz: Cast U32 Usz pure
cast_u64_u8
impl cast_u64_u8: Cast U64 U8 pure
cast_u64_u16
impl cast_u64_u16: Cast U64 U16 pure
cast_u64_u32
impl cast_u64_u32: Cast U64 U32 pure
cast_u64_usz
impl cast_u64_usz: Cast U64 Usz pure
cast_usz_u8
impl cast_usz_u8: Cast Usz U8 pure
cast_usz_u16
impl cast_usz_u16: Cast Usz U16 pure
cast_usz_u32
impl cast_usz_u32: Cast Usz U32 pure
cast_usz_u64
impl cast_usz_u64: Cast Usz U64 pure
cast_u8_i32
impl cast_u8_i32: Cast U8 I32 pure
cast_i8_i16
impl cast_i8_i16: Cast I8 I16 pure
cast_i8_i32
impl cast_i8_i32: Cast I8 I32 pure
cast_i8_i64
impl cast_i8_i64: Cast I8 I64 pure
cast_i8_isz
impl cast_i8_isz: Cast I8 Isz pure
cast_i16_i8
impl cast_i16_i8: Cast I16 I8 pure
cast_i16_i32
impl cast_i16_i32: Cast I16 I32 pure
cast_i16_i64
impl cast_i16_i64: Cast I16 I64 pure
cast_i16_isz
impl cast_i16_isz: Cast I16 Isz pure
cast_i32_i8
impl cast_i32_i8: Cast I32 I8 pure
cast_i32_i16
impl cast_i32_i16: Cast I32 I16 pure
cast_i32_i64
impl cast_i32_i64: Cast I32 I64 pure
cast_i32_isz
impl cast_i32_isz: Cast I32 Isz pure
cast_i64_i8
impl cast_i64_i8: Cast I64 I8 pure
cast_i64_i16
impl cast_i64_i16: Cast I64 I16 pure
cast_i64_i32
impl cast_i64_i32: Cast I64 I32 pure
cast_i64_isz
impl cast_i64_isz: Cast I64 Isz pure
cast_isz_i8
impl cast_isz_i8: Cast Isz I8 pure
cast_isz_i16
impl cast_isz_i16: Cast Isz I16 pure
cast_isz_i32
impl cast_isz_i32: Cast Isz I32 pure
cast_isz_i64
impl cast_isz_i64: Cast Isz I64 pure
cast_i8_f32
impl cast_i8_f32: Cast I8 F32 pure
cast_i16_f32
impl cast_i16_f32: Cast I16 F32 pure
cast_i32_f32
impl cast_i32_f32: Cast I32 F32 pure
cast_i64_f32
impl cast_i64_f32: Cast I64 F32 pure
cast_isz_f32
impl cast_isz_f32: Cast Isz F32 pure
cast_i8_f64
impl cast_i8_f64: Cast I8 F64 pure
cast_i16_f64
impl cast_i16_f64: Cast I16 F64 pure
cast_i32_f64
impl cast_i32_f64: Cast I32 F64 pure
cast_i64_f64
impl cast_i64_f64: Cast I64 F64 pure
cast_isz_f64
impl cast_isz_f64: Cast Isz F64 pure
cast_u8_f32
impl cast_u8_f32: Cast U8 F32 pure
cast_u16_f64
impl cast_u16_f64: Cast U16 F32 pure
cast_u32_f64
impl cast_u32_f64: Cast U32 F32 pure
cast_u64_f64
impl cast_u64_f64: Cast U64 F32 pure
cast_usz_f64
impl cast_usz_f64: Cast Usz F32 pure
cast_u8_f64
impl cast_u8_f64: Cast U8 F64 pure
cast_u16_f32
impl cast_u16_f32: Cast U16 F64 pure
cast_u32_f32
impl cast_u32_f32: Cast U32 F64 pure
cast_u64_f32
impl cast_u64_f32: Cast U64 F64 pure
cast_usz_f32
impl cast_usz_f32: Cast Usz F64 pure
cast_f32_i8
impl cast_f32_i8: Cast F32 I8 pure
cast_f32_i16
impl cast_f32_i16: Cast F32 I16 pure
cast_f32_i32
impl cast_f32_i32: Cast F32 I32 pure
cast_f32_i64
impl cast_f32_i64: Cast F32 I64 pure
cast_f32_isz
impl cast_f32_isz: Cast F32 Isz pure
cast_f64_i8
impl cast_f64_i8: Cast F64 I8 pure
cast_f64_i16
impl cast_f64_i16: Cast F64 I16 pure
cast_f64_i32
impl cast_f64_i32: Cast F64 I32 pure
cast_f64_i64
impl cast_f64_i64: Cast F64 I64 pure
cast_f64_isz
impl cast_f64_isz: Cast F64 Isz pure
cast_f32_u8
impl cast_f32_u8: Cast F32 U8 pure
cast_f32_u16
impl cast_f32_u16: Cast F32 U16 pure
cast_f32_u32
impl cast_f32_u32: Cast F32 U32 pure
cast_f32_u64
impl cast_f32_u64: Cast F32 U64 pure
cast_f32_usz
impl cast_f32_usz: Cast F32 Usz pure
cast_f64_u8
impl cast_f64_u8: Cast F64 U8 pure
cast_f64_u16
impl cast_f64_u16: Cast F64 U16 pure
cast_f64_u32
impl cast_f64_u32: Cast F64 U32 pure
cast_f64_u64
impl cast_f64_u64: Cast F64 U64 pure
cast_f64_usz
impl cast_f64_usz: Cast F64 Usz pure
cast_f64_f32
impl cast_f64_f32: Cast F64 F32 pure
cast_f32_f64
impl cast_f32_f64: Cast F32 F64 pure
cast_i8_char
impl cast_i8_char: Cast I8 Char pure
cast_i16_char
impl cast_i16_char: Cast I16 Char pure
cast_i32_char
impl cast_i32_char: Cast I32 Char pure
cast_i64_char
impl cast_i64_char: Cast I64 Char pure
cast_isz_char
impl cast_isz_char: Cast Isz Char pure
cast_u8_char
impl cast_u8_char: Cast U8 Char pure
cast_u16_char
impl cast_u16_char: Cast U16 Char pure
cast_u32_char
impl cast_u32_char: Cast U32 Char pure
cast_u64_char
impl cast_u64_char: Cast U64 Char pure
cast_usz_char
impl cast_usz_char: Cast Usz Char pure
cast_i32_usz
impl cast_i32_usz: Cast I32 Usz pure
cast_usz_i64
impl cast_usz_i64: Cast Usz I64 pure
cast_i64_usz
impl cast_i64_usz: Cast I64 Usz pure
cast_char_u8
impl cast_char_u8: Cast Char U8 pure
cast_char_i32
impl cast_char_i32: Cast Char I32 pure
cast_char_u64
impl cast_char_u64: Cast Char U64 pure
cast_bool_i32
impl cast_bool_i32: Cast Bool I32 pure
cast_u8_string
impl cast_u8_string: Cast U8 String pure
cast_u16_string
impl cast_u16_string: Cast U16 String pure
cast_u32_string
impl cast_u32_string: Cast U32 String pure
cast_u64_string
impl cast_u64_string: Cast U64 String pure
cast_usz_string
impl cast_usz_string: Cast Usz String pure
cast_i8_string
impl cast_i8_string: Cast I8 String pure
cast_i16_string
impl cast_i16_string: Cast I16 String pure
cast_i32_string
impl cast_i32_string: Cast I32 String pure
cast_i64_string
impl cast_i64_string: Cast I64 String pure
cast_isz_string
impl cast_isz_string: Cast Isz String pure
cast_char_string
impl cast_char_string: Cast Char String pure
cast_bool_string
impl cast_bool_string: Cast Bool String pure
cast_f32_string
impl cast_f32_string: Cast F32 String pure
cast_f64_string
impl cast_f64_string: Cast F64 String pure
try_cast_from_cast
impl try_cast_from_cast {_: Cast a b e}: TryCast a b e
add_i8
impl add_i8: Add I8
add_i16
impl add_i16: Add I16
add_i32
impl add_i32: Add I32
add_i64
impl add_i64: Add I64
add_isz
impl add_isz: Add Isz
add_u8
impl add_u8: Add U8
add_u16
impl add_u16: Add U16
add_u32
impl add_u32: Add U32
add_u64
impl add_u64: Add U64
add_usz
impl add_usz: Add Usz
add_f32
impl add_f32: Add F32
add_f64
impl add_f64: Add F64
sub_i8
impl sub_i8: Sub I8
sub_i16
impl sub_i16: Sub I16
sub_i32
impl sub_i32: Sub I32
sub_i64
impl sub_i64: Sub I64
sub_isz
impl sub_isz: Sub Isz
sub_u8
impl sub_u8: Sub U8
sub_u16
impl sub_u16: Sub U16
sub_u32
impl sub_u32: Sub U32
sub_u64
impl sub_u64: Sub U64
sub_usz
impl sub_usz: Sub Usz
sub_f32
impl sub_f32: Sub F32
sub_f64
impl sub_f64: Sub F64
mul_i8
impl mul_i8: Mul I8
mul_i16
impl mul_i16: Mul I16
mul_i32
impl mul_i32: Mul I32
mul_i64
impl mul_i64: Mul I64
mul_isz
impl mul_isz: Mul Isz
mul_u8
impl mul_u8: Mul U8
mul_u16
impl mul_u16: Mul U16
mul_u32
impl mul_u32: Mul U32
mul_u64
impl mul_u64: Mul U64
mul_usz
impl mul_usz: Mul Usz
mul_f32
impl mul_f32: Mul F32
mul_f64
impl mul_f64: Mul F64
div_i8
impl div_i8: Div I8
div_i16
impl div_i16: Div I16
div_i32
impl div_i32: Div I32
div_i64
impl div_i64: Div I64
div_isz
impl div_isz: Div Isz
div_u8
impl div_u8: Div U8
div_u16
impl div_u16: Div U16
div_u32
impl div_u32: Div U32
div_u64
impl div_u64: Div U64
div_usz
impl div_usz: Div Usz
div_f32
impl div_f32: Div F32
div_f64
impl div_f64: Div F64
mod_i8
impl mod_i8: Mod I8
mod_i16
impl mod_i16: Mod I16
mod_i32
impl mod_i32: Mod I32
mod_i64
impl mod_i64: Mod I64
mod_isz
impl mod_isz: Mod Isz
mod_u8
impl mod_u8: Mod U8
mod_u16
impl mod_u16: Mod U16
mod_u32
impl mod_u32: Mod U32
mod_u64
impl mod_u64: Mod U64
mod_usz
impl mod_usz: Mod Usz
eq_i8
impl eq_i8: Eq I8 pure
eq_i16
impl eq_i16: Eq I16 pure
eq_i32
impl eq_i32: Eq I32 pure
eq_i64
impl eq_i64: Eq I64 pure
eq_isz
impl eq_isz: Eq Isz pure
eq_u8
impl eq_u8: Eq U8 pure
eq_u16
impl eq_u16: Eq U16 pure
eq_u32
impl eq_u32: Eq U32 pure
eq_u64
impl eq_u64: Eq U64 pure
eq_usz
impl eq_usz: Eq Usz pure
eq_f32
impl eq_f32: Eq F32 pure
eq_f64
impl eq_f64: Eq F64 pure
eq_char
impl eq_char: Eq Char pure
eq_bool
impl eq_bool: Eq Bool pure
eq_ref
impl eq_ref {_: Eq t e}: Eq (ref t) e
References are equal if their elements are equal
eq_ptr
impl eq_ptr: Eq (Ptr t) pure
Pointers are equal if their addresses are equal
eq_maybe
impl eq_maybe {_: Eq e2 e}: Eq (Maybe e2) e
eq_pair
impl eq_pair {_: Eq a e} {_: Eq b e}: Eq (a, b) e
not_bool
impl not_bool: Not Bool
not_i32
impl not_i32: Not I32
cmp_i8
impl cmp_i8: Cmp I8
cmp_i16
impl cmp_i16: Cmp I16
cmp_i32
impl cmp_i32: Cmp I32
cmp_i64
impl cmp_i64: Cmp I64
cmp_isz
impl cmp_isz: Cmp Isz
cmp_u8
impl cmp_u8: Cmp U8
cmp_u16
impl cmp_u16: Cmp U16
cmp_u32
impl cmp_u32: Cmp U32
cmp_u64
impl cmp_u64: Cmp U64
cmp_usz
impl cmp_usz: Cmp Usz
cmp_f32
impl cmp_f32: Cmp F32
cmp_f64
impl cmp_f64: Cmp F64
cmp_char
impl cmp_char: Cmp Char
num_i8
impl num_i8: Num I8
num_i16
impl num_i16: Num I16
num_i32
impl num_i32: Num I32
num_i64
impl num_i64: Num I64
num_isz
impl num_isz: Num Isz
num_u8
impl num_u8: Num U8
num_u16
impl num_u16: Num U16
num_u32
impl num_u32: Num U32
num_u64
impl num_u64: Num U64
num_usz
impl num_usz: Num Usz
num_f32
impl num_f32: Num F32
num_f64
impl num_f64: Num F64
try_cast_i64_u64
impl try_cast_i64_u64: TryCast I64 U64 pure
try_cast_u64
impl try_cast_u64: TryCast U64 I64 pure
append_string
impl append_string: Append String
extract_ptr_usz
impl extract_ptr_usz: Extract (Ptr t) Usz t pure
extract_string
impl extract_string: Extract (ref String) Usz Char pure
extract_array
impl extract_array: Extract (ref Array n t) Usz (ref t) Panic
extract_array_move
impl extract_array_move: Extract (Array n t) Usz t Panic
extract_array_mut
impl extract_array_mut: Extract (mut Array n t) Usz (mut t) Panic
bitwise_i32
implicit bitwise_i32: Bitwise I32
bitwise_u64
implicit bitwise_u64: Bitwise U64
copy_i8
impl copy_i8: Copy I8
copy_i16
impl copy_i16: Copy I16
copy_i32
impl copy_i32: Copy I32
copy_i64
impl copy_i64: Copy I64
copy_isz
impl copy_isz: Copy Isz
copy_u8
impl copy_u8: Copy U8
copy_u16
impl copy_u16: Copy U16
copy_u32
impl copy_u32: Copy U32
copy_u64
impl copy_u64: Copy U64
copy_usz
impl copy_usz: Copy Usz
copy_f32
impl copy_f32: Copy F32
copy_f64
impl copy_f64: Copy F64
copy_unit
impl copy_unit: Copy Unit
copy_bool
impl copy_bool: Copy Bool
copy_char
impl copy_char: Copy Char
copy_ptr
impl copy_ptr: Copy (Ptr t)
copy_ref
impl copy_ref: Copy (ref t)
copy_mut
impl copy_mut: Copy (mut t)
copy_imm
impl copy_imm: Copy (imm t)
copy_uniq
impl copy_uniq: Copy (uniq t)
copy_pair
impl copy_pair {_: Copy a} {_: Copy b}: Copy (a, b)
copy_maybe
impl copy_maybe {_: Copy a}: Copy (Maybe a)
clone_string
impl clone_string: Clone String
drop_i8
impl drop_i8: Drop I8 pure
drop_i16
impl drop_i16: Drop I16 pure
drop_i32
impl drop_i32: Drop I32 pure
drop_i64
impl drop_i64: Drop I64 pure
drop_isz
impl drop_isz: Drop Isz pure
drop_u8
impl drop_u8: Drop U8 pure
drop_u16
impl drop_u16: Drop U16 pure
drop_u32
impl drop_u32: Drop U32 pure
drop_u64
impl drop_u64: Drop U64 pure
drop_usz
impl drop_usz: Drop Usz pure
drop_f32
impl drop_f32: Drop F32 pure
drop_f64
impl drop_f64: Drop F64 pure
drop_unit
impl drop_unit: Drop Unit pure
drop_bool
impl drop_bool: Drop Bool pure
drop_char
impl drop_char: Drop Char pure
drop_ptr
impl drop_ptr: Drop (Ptr t) pure
drop_string
impl drop_string: Drop String pure
insert_ptr_usz
impl insert_ptr_usz: Insert (mut Ptr t) Usz t pure
insert_array
impl insert_array: Insert (mut Array n t) Usz t Panic
print_u8
impl print_u8: Display U8 pure
print_u16
impl print_u16: Display U16 pure
print_u32
impl print_u32: Display U32 pure
print_u64
impl print_u64: Display U64 pure
print_usz
impl print_usz: Display Usz pure
print_i8
impl print_i8: Display I8 pure
print_i16
impl print_i16: Display I16 pure
print_i32
impl print_i32: Display I32 pure
print_i64
impl print_i64: Display I64 pure
print_isz
impl print_isz: Display Isz pure
print_char
impl print_char: Display Char pure
print_f64
impl print_f64: Display F64 pure
print_f32
impl print_f32: Display F32 pure
print_pair
impl print_pair {_: Display a e} {_: Display b e}: Display (a, b) e
print_string
impl print_string: Display String pure
print_maybe
impl print_maybe {_: Display a e}: Display (Maybe a) e
print_bool
impl print_bool: Display Bool pure
print_array
impl print_array {_: Display t e}: Display (Array n t) Panic & e
print_ref
impl print_ref {_: Display a e}: Display (ref a) e
iterator_range
impl iterator_range: Iterator (Range Usz) Usz pure