Struct HostFailure 

pub struct HostFailure { /* private fields */ }

A host-stack failure observed inside lean-rs.

Constructed only by the crate; fields are private so the bounded-message invariant survives downstream pattern-matching.

Implementations

impl HostFailure

pub fn stage(&self) -> HostStage

The host-stack stage that observed the failure.

This is the internal classification; reach for Self::code when displaying a stable identifier or routing on the caller-facing failure family. The HostStage tag may grow new variants alongside new internal paths.

pub fn code(&self) -> LeanDiagnosticCode

The stable diagnostic code matching this failure.

Recorded at the construction site rather than projected from Self::stage, so the code identity does not drift if the internal stage tag is later refined. Use this for stable logging, metrics, or downstream error routing.

pub fn message(&self) -> &str

Developer-facing diagnostic, truncated to at most LEAN_ERROR_MESSAGE_LIMIT bytes on a UTF-8 char boundary.

Trait Implementations

impl Clone for HostFailure

fn clone(&self) -> HostFailure

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for HostFailure

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for HostFailure

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.