Module prelude

Re-exports

pub use crate::id_table;

pub use crate::*;

pub use crate::body::*;

pub use crate::constant_utils::*;

pub use crate::index_vec::*;

pub use crate::traits::*;

pub use crate::types::*;

pub use self::rustc::*;

Modules

rustc

Macros

schema_for

Generates a RootSchema for the given type using default settings.

Structs

HashMap

A hash map implemented with quadratic probing and SIMD lookup.

PathBuf

An owned, mutable path (akin to String).

Rc

A single-threaded reference-counting pointer. ‘Rc’ stands for ‘Reference Counted’.

Traits

Deserialize

A data structure that can be deserialized from any data format supported by Serde.

JsonSchema

A type which can be described as a JSON Schema document.

Serialize

A data structure that can be serialized into any data format supported by Serde.

Attribute Macros

derive_group 🔒

A proc macro unrelated to adt-into: it is useful in hax and we don’t want a whole crate only for that helper.

Derive Macros

Deserialize

JsonSchema

Serialize