masterror · Framework-agnostic application error types
🇷🇺 Читайте README на русском языке.
masterror
grew from a handful of helpers into a workspace of composable crates for
building consistent, observable error surfaces across Rust services. The core
crate stays framework-agnostic, while feature flags light up transport adapters,
integrations and telemetry without pulling in heavyweight defaults. No
unsafe
, MSRV is pinned, and the derive macros keep your domain types in charge
of redaction and metadata.
Highlights
- Unified taxonomy.
AppError
,AppErrorKind
andAppCode
model domain and transport concerns with conservative HTTP/gRPC mappings, turnkey retry/auth hints and RFC7807 output viaProblemJson
. - Native derives.
#[derive(Error)]
,#[derive(Masterror)]
,#[app_error]
,#[masterror(...)]
and#[provide]
wire custom types intoAppError
while forwarding sources, backtraces, telemetry providers and redaction policy. - Typed telemetry.
Metadata
stores structured key/value context with per-field redaction controls and builders infield::*
, so logs stay structured without manualString
maps. - Transport adapters. Optional features expose Actix/Axum responders,
tonic::Status
conversions, WASM/browser logging and OpenAPI schema generation without contaminating the lean default build. - Battle-tested integrations. Enable focused mappings for
sqlx
,reqwest
,redis
,validator
,config
,tokio
,teloxide
,multipart
, Telegram WebApp SDK and more — each translating library errors into the taxonomy with telemetry attached. - Turnkey defaults. The
turnkey
module ships a ready-to-use error catalog, helper builders and tracing instrumentation for teams that want a consistent baseline out of the box. - Typed control-flow macros.
ensure!
andfail!
short-circuit functions with your domain errors without allocating or formatting on the happy path.
Workspace crates
Crate | What it provides | When to depend on it |
---|---|---|
masterror |
Core error types, metadata builders, transports, integrations and the prelude. | Application crates, services and libraries that want a stable error surface. |
masterror-derive |
Proc-macros backing #[derive(Error)] , #[derive(Masterror)] , #[app_error] and #[provide] . |
Brought in automatically via masterror ; depend directly only for macro hacking. |
masterror-template |
Shared template parser used by the derive macros for formatter analysis. | Internal dependency; reuse when you need the template parser elsewhere. |
Feature flags at a glance
Pick only what you need; everything is off by default.
- Web transports:
axum
,actix
,multipart
,openapi
,serde_json
. - Telemetry & observability:
tracing
,metrics
,backtrace
. - Async & IO integrations:
tokio
,reqwest
,sqlx
,sqlx-migrate
,redis
,validator
,config
. - Messaging & bots:
teloxide
,telegram-webapp-sdk
. - Front-end tooling:
frontend
for WASM/browser console logging. - gRPC:
tonic
to emittonic::Status
responses. - Batteries included:
turnkey
to adopt the pre-built taxonomy and helpers.
The build script keeps the full feature snippet below in sync with
Cargo.toml
.
TL;DR
[]
= { = "0.21.1", = false }
# or with features:
# masterror = { version = "0.21.1", features = [
# "axum", "actix", "openapi", "serde_json",
# "tracing", "metrics", "backtrace", "sqlx",
# "sqlx-migrate", "reqwest", "redis", "validator",
# "config", "tokio", "multipart", "teloxide",
# "telegram-webapp-sdk", "tonic", "frontend", "turnkey"
# ] }
Create an error:
use ;
let err = new;
assert!;
let err_with_meta = service
.with_field;
assert_eq!;
With prelude:
use *;
ensure!
and fail!
provide typed alternatives to the formatting-heavy
anyhow::ensure!
/anyhow::bail!
helpers. They evaluate the error expression
only when the guard trips, so success paths stay allocation-free.
use ;
assert!;
assert!;
assert!;
masterror
ships native derives so your domain types stay expressive while the
crate handles conversions, telemetry and redaction for you.
use io;
use Error;
;
let err = load.unwrap_err;
assert_eq!;
let wrapped = from;
assert_eq!;
use masterror::Error;
brings the derive macro into scope.#[from]
automatically implementsFrom<...>
while ensuring wrapper shapes are valid.#[error(transparent)]
enforces single-field wrappers that forwardDisplay
/source
to the inner error.#[app_error(kind = AppErrorKind::..., code = AppCode::..., message)]
maps the derived error intoAppError
/AppCode
. The optionalcode = ...
arm emits anAppCode
conversion, while themessage
flag forwards the derivedDisplay
output as the public message instead of producing a bare error.masterror::error::template::ErrorTemplate
parses#[error("...")]
strings, exposing literal and placeholder segments so custom derives can be implemented without relying onthiserror
.TemplateFormatter
mirrorsthiserror
's formatter detection so existing derives that relied on hexadecimal, pointer or exponential renderers keep compiling.- Display placeholders preserve their raw format specs via
TemplateFormatter::display_spec()
andTemplateFormatter::format_fragment()
, so derived code can forward:>8
,:.3
and other display-only options without reconstructing the original string. TemplateFormatterKind
exposes the formatter trait requested by a placeholder, making it easy to branch on the requested rendering behaviour without manually matching every enum variant.
#[derive(Masterror)]
wires a domain error into [masterror::Error
], adds
metadata, redaction policy and optional transport mappings. The accompanying
#[masterror(...)]
attribute mirrors the #[app_error]
syntax while staying
explicit about telemetry and redaction.
use ;
let err = MissingFlag ;
let converted: Error = err.into;
assert_eq!;
assert_eq!;
assert_eq!;
assert!;
assert_eq!;
code
/category
pick the public [AppCode
] and internal [AppErrorKind
].message
forwards the formatted [Display
] output as the safe public message. Omit it to keep the message private.redact(message)
flips [MessageEditPolicy
] to redactable at the transport boundary,fields("name" = hash, "card" = last4)
overrides metadata policies (hash
,last4
,redact
,none
).telemetry(...)
accepts expressions that evaluate toOption<masterror::Field>
. Each populated field is inserted into the resulting [Metadata
]; usetelemetry()
when no fields are attached.map.grpc
/map.problem
capture optional gRPC status codes (asi32
) and RFC 7807type
URIs. The derive emits tables such asMyError::HTTP_MAPPING
,MyError::GRPC_MAPPING
andMyError::PROBLEM_MAPPING
(or slice variants for enums) for downstream integrations.
All familiar field-level attributes (#[from]
, #[source]
, #[backtrace]
)
are still honoured. Sources and backtraces are automatically attached to the
generated [masterror::Error
].
#[provide(...)]
exposes typed context through std::error::Request
, while
#[app_error(...)]
records how your domain error translates into AppError
and AppCode
. The derive mirrors thiserror
's syntax and extends it with
optional telemetry propagation and direct conversions into the masterror
runtime types.
use request_ref;
use ;
let err = StructuredTelemetryError ;
let snapshot = .expect;
assert_eq!;
let app: AppError = err.into;
let via_app = .expect;
assert_eq!;
Optional telemetry only surfaces when present, so None
does not register a
provider. Owned snapshots can still be provided as values when the caller
requests ownership:
use ;
let noisy = OptionalTelemetryError ;
let silent = OptionalTelemetryError ;
assert!;
assert!;
Enums support per-variant telemetry and conversion metadata. Each variant chooses
its own AppErrorKind
/AppCode
mapping while the derive generates a single
From<Enum>
implementation:
let owned = Owned;
let app: AppError = owned.into;
assert!;
Compared to thiserror
, you retain the familiar deriving surface while gaining
structured telemetry (#[provide]
) and first-class conversions into
AppError
/AppCode
without manual glue.
use ;
use Duration;
let problem = from_app_error;
assert_eq!;
assert_eq!;
assert_eq!;
Further resources
- Explore the error-handling wiki for step-by-step guides,
comparisons with
thiserror
/anyhow
, and troubleshooting recipes. - Browse the crate documentation on docs.rs for API details, feature-specific guides and transport tables.
- Check
CHANGELOG.md
for release highlights and migration notes.
MSRV: 1.90 · License: MIT OR Apache-2.0 · No unsafe