Module schema 

Stratum 13 — Data & Schema

Type-safe data representation and validation, built from Strata 0–12.

Submodule	Provides	Depends on
brand	Brand, RefinedBrand	Stratum 0
equal	Equal, EffectHash	Stratum 0
data	EffectData, DataStruct, DataTuple, DataError	equal
order	DynOrder, Ordering, ordering, order	Stratum 0
parse	Schema, ParseError, Unknown, primitives, tuple/tuple3/tuple4, struct_/struct3/struct4, …	data
extra	record, suspend, union_chain, literals, wire_equal, null_or	parse
parse_errors	ParseErrors	parse
has_schema	HasSchema	parse
[serde_bridge]	JSON → Unknown (schema-serde feature)	parse, serde_json
[json_schema_export]	Primitive JSON Schema fragments (schema-serde)	serde_json

Public API

Re-exported at the crate root: all public types and functions.

Re-exports

pub use brand::Brand;

pub use brand::RefinedBrand;

pub use data::DataError;

pub use data::DataStruct;

pub use data::DataTuple;

pub use data::EffectData;

pub use equal::EffectHash;

pub use equal::Equal;

pub use equal::combine;

pub use equal::equals;

pub use equal::hash;

pub use equal::hash_string;

pub use equal::hash_structure;

pub use extra::literal_i64;

pub use extra::literal_string;

pub use extra::null_or;

pub use extra::record;

pub use extra::suspend;

pub use extra::union_chain;

pub use extra::wire_equal;

pub use has_schema::HasSchema;

pub use order::DynOrder;

pub use order::ordering;

pub use parse::ParseError;

pub use parse::Schema;

pub use parse::Unknown;

pub use parse::array;

pub use parse::bool_;

pub use parse::f64;

pub use parse::filter;

pub use parse::i64;

pub use parse::i64_unknown_wire;

pub use parse::optional;

pub use parse::refine;

pub use parse::string;

pub use parse::struct_;

pub use parse::struct3;

pub use parse::struct4;

pub use parse::transform;

pub use parse::tuple;

pub use parse::tuple3;

pub use parse::tuple4;

pub use parse::union_;

pub use parse_errors::ParseErrors;

pub use redacted::Redacted;

Modules

brand

Branded newtypes — zero-cost compile-time distinction with optional runtime validation.

data

Structural data markers — Effect.ts Data–style equality and hashing.

equal

Structural equality and hashing protocols — mirrors Effect.ts Equal and Hash.

extra

Additional combinators: record, suspend, union_chain, literals, wire_equal.

has_schema

HasSchema — opt-in hook for types that expose a canonical crate::schema::parse::Schema.

order

Composable comparators — mirrors Effect.ts Order and Ordering.

parse

Stratum 13 — Data & Schema — parse module.

parse_errors

Aggregate parse failures — mirrors collecting multiple validation issues (Effect.ts-style).

redacted

Sensitive values with masked std::fmt::Debug — schema-layer counterpart to config Secret.

Enums

Ordering

An Ordering is the result of a comparison between two values.