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
boolaccepted by the arcis interpreter. - boxed
- Constructors and methods on
Boxaccepted by the arcis interpreter. - cell
- Methods on
Cellaccepted 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
f32andf64accepted 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::memaccepted by the arcis interpreter. - ops
- Operator overloading traits and range types accepted by the arcis interpreter.
- option
- Methods on
Optionaccepted by the arcis interpreter. - slice
- Methods on
[T](slices) and[T; N](arrays) accepted by the arcis interpreter.