pub trait StdCore: Send {
// Required methods
fn prelude_names() -> &'static [&'static str];
fn prelude_files() -> &'static [(&'static str, &'static str)];
fn prelude_extension<Buffer: IoWrite>() -> Extension<Buffer>;
}
Expand description
Interface with standard library core
Required Methods§
Sourcefn prelude_names() -> &'static [&'static str]
fn prelude_names() -> &'static [&'static str]
Names should be defined in prelude
Sourcefn prelude_files() -> &'static [(&'static str, &'static str)]
fn prelude_files() -> &'static [(&'static str, &'static str)]
Prelude files to execute right after interpreter initialized
Return [(file_name
, file_content
)]
Sourcefn prelude_extension<Buffer: IoWrite>() -> Extension<Buffer>
fn prelude_extension<Buffer: IoWrite>() -> Extension<Buffer>
Prelude modules
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.