Module creusot_contracts::std

Modules

• alloc
  Memory allocation APIs.
• any
  Utilities for dynamic typing or type reflection.
• arch
  SIMD and vendor intrinsics module.
• array
• ascii
  Operations on ASCII strings and characters.
• backtrace
  Support for capturing a stack backtrace of an OS thread
• borrow
  A module for working with borrowed data.
• boxed
• cell
  Shareable mutable containers.
• char
  Utilities for the char primitive type.
• clone
• cmp
• collections
  Collection types.
• convert
  Traits for conversions between types.
• default
• deque
• env
  Inspection and manipulation of the process’s environment.
• error
  Interfaces for working with Errors.
• f32
  Constants for the f32 single-precision floating point type.
• f64
  Constants for the f64 double-precision floating point type.
• ffi
  Utilities related to FFI bindings.
• fmt
• fs
  Filesystem manipulation operations.
• future
  Asynchronous basic functionality.
• hash
  Generic hashing support.
• hint
  Hints to compiler that affects how code should be emitted or optimized. Hints may be compile time or runtime.
• i8Deprecation planned
  Redundant constants module for the i8 primitive type.
• i16Deprecation planned
  Redundant constants module for the i16 primitive type.
• i32Deprecation planned
  Redundant constants module for the i32 primitive type.
• i64Deprecation planned
  Redundant constants module for the i64 primitive type.
• i128Deprecation planned
  Redundant constants module for the i128 primitive type.
• io
  Traits, helpers, and type definitions for core I/O functionality.
• isizeDeprecation planned
  Redundant constants module for the isize primitive type.
• iter
• marker
  Primitive traits and types representing basic properties of types.
• mem
• net
  Networking primitives for TCP/UDP communication.
• num
• ops
• option
• os
  OS-specific functionality.
• panic
  Panic support in the standard library.
• panicking
• path
  Cross-platform path manipulation.
• pin
  Types that pin data to a location in memory.
• prelude
  The Rust Prelude
• primitive
  This module reexports the primitive types to allow usage that is not possibly shadowed by other declared types.
• process
  A module for working with processes.
• ptr
• rc
  Single-threaded reference-counting pointers. ‘Rc’ stands for ‘Reference Counted’.
• result
• slice
• str
  Utilities for the str primitive type.
• string
• sync
  Useful synchronization primitives.
• task
  Types and Traits for working with asynchronous tasks.
• thread
  Native threads.
• time
• u8Deprecation planned
  Redundant constants module for the u8 primitive type.
• u16Deprecation planned
  Redundant constants module for the u16 primitive type.
• u32Deprecation planned
  Redundant constants module for the u32 primitive type.
• u64Deprecation planned
  Redundant constants module for the u64 primitive type.
• u128Deprecation planned
  Redundant constants module for the u128 primitive type.
• usizeDeprecation planned
  Redundant constants module for the usize primitive type.
• vec
• assert_matchesExperimental
  Unstable module containing the unstable assert_matches macro.
• async_iterExperimental
  Composable asynchronous iteration.
• f16Experimental
  Constants for the f16 double-precision floating point type.
• f128Experimental
  Constants for the f128 double-precision floating point type.
• intrinsicsExperimental
  Compiler intrinsics.
• patExperimental
  Helper module for exporting the pattern_type macro
• pipeExperimental
  Module for anonymous pipe
• simdExperimental
  Portable SIMD module.

Macros

• assert
  Asserts that a boolean expression is true at runtime.
• assert_eq
  Asserts that two expressions are equal to each other (using PartialEq).
• assert_ne
  Asserts that two expressions are not equal to each other (using PartialEq).
• cfg
  Evaluates boolean combinations of configuration flags at compile-time.
• column
  Expands to the column number at which it was invoked.
• compile_error
  Causes compilation to fail with the given error message when encountered.
• concat
  Concatenates literals into a static string slice.
• dbg
  Prints and returns the value of a given expression for quick and dirty debugging.
• debug_assert
  Asserts that a boolean expression is true at runtime.
• debug_assert_eq
  Asserts that two expressions are equal to each other.
• debug_assert_ne
  Asserts that two expressions are not equal to each other.
• env
  Inspects an environment variable at compile time.
• eprint
  Prints to the standard error.
• eprintln
  Prints to the standard error, with a newline.
• file
  Expands to the file name in which it was invoked.
• format
  Creates a String using interpolation of runtime expressions.
• format_args
  Constructs parameters for the other string-formatting macros.
• include
  Parses a file as an expression or an item according to the context.
• include_bytes
  Includes a file as a reference to a byte array.
• include_str
  Includes a UTF-8 encoded file as a string.
• is_x86_feature_detectedx86 or x86-64
  A macro to test at runtime whether a CPU feature is available on x86/x86-64 platforms.
• line
  Expands to the line number on which it was invoked.
• matches
  Returns whether the given expression matches the provided pattern.
• module_path
  Expands to a string that represents the current module path.
• option_env
  Optionally inspects an environment variable at compile time.
• panic
  Panics the current thread.
• print
  Prints to the standard output.
• println
  Prints to the standard output, with a newline.
• stringify
  Stringifies its arguments.
• thread_local
  Declare a new thread local storage key of type std::thread::LocalKey.
• todo
  Indicates unfinished code.
• tryDeprecated
  Unwraps a result or propagates its error.
• unimplemented
  Indicates unimplemented code by panicking with a message of “not implemented”.
• unreachable
  Indicates unreachable code.
• vec
  Creates a Vec containing the arguments.
• write
  Writes formatted data into a buffer.
• writeln
  Write formatted data into a buffer, with a newline appended.
• cfg_matchExperimental
  A macro for defining #[cfg] match-like statements.
• concat_bytesExperimental
  Concatenates literals into a byte slice.
• concat_identsExperimental
  Concatenates identifiers into one identifier.
• const_format_argsExperimental
  Same as format_args, but can be used in some const contexts.
• format_args_nlExperimental
  Same as format_args, but adds a newline in the end.
• log_syntaxExperimental
  Prints passed tokens into the standard output.
• trace_macrosExperimental
  Enables or disables tracing functionality used for debugging other macros.