Skip to main content

Module std

Module std 

Source
Expand description

Documentation of the std subset that the arcis interpreter accepts inside #[encrypted] code.

§How to read this module

Each submodule documents the methods supported on a particular kind of type (slice, iter, integer, float, boolean, option, cell, boxed, mem). For type categories where extension traits work cleanly, the submodule defines a trait whose only purpose is to give rustdoc a page to attach the documentation to; for iter (where a parallel trait would conflict with Iterator) the supported methods are listed in the module-level documentation instead.

The method bodies are documentation-only stubs that panic if called outside the interpreter. Inside #[encrypted] code the interpreter intercepts the call before the body runs.

The traits are never imported by user code. Names exist purely so that rustdoc renders pages like slice::SupportedSlice showing which methods arcis recognizes, on which receivers, with what complexity and caveats.

Items defined by arcis itself (.reveal(), .to_arcis(), BaseField25519::*, …) are documented on the types they belong to, not here.

Modules§

boolean
Methods on bool accepted by the arcis interpreter.
boxed
Constructors and methods on Box accepted by the arcis interpreter.
cell
Methods on Cell accepted by the arcis interpreter.
clone
Cloning trait accepted by the arcis interpreter.
cmp
Comparison traits accepted by the arcis interpreter.
default
Default trait accepted by the arcis interpreter.
float
Methods on f32 and f64 accepted by the arcis interpreter.
fmt
Formatting traits accepted by the arcis interpreter.
integer
Methods and associated constants on primitive integer types accepted by the arcis interpreter.
iter
Iterator methods accepted by the arcis interpreter inside #[encrypted] code.
marker
Marker traits accepted by the arcis interpreter.
mem
Free functions from std::mem accepted by the arcis interpreter.
ops
Operator overloading traits and range types accepted by the arcis interpreter.
option
Methods on Option accepted by the arcis interpreter.
slice
Methods on [T] (slices) and [T; N] (arrays) accepted by the arcis interpreter.