Struct ShapeReport 

pub struct ShapeReport {

    pub module: String,
    pub file: String,
    pub depends: Vec<String>,
    pub effects: Vec<String>,
    pub exposes_opaque: Vec<String>,
    pub has_main: bool,
    pub shape: ModuleShape,
    pub kind: Kind,
    pub effectful_fn_ratio: f64,
    pub verify: VerifyReport,
    pub histogram: Histogram,
    pub layer: Option<LayerVerdict>,
    pub fns: Vec<FnShape>,
    pub patterns: Vec<ModulePattern>,
}

Fields

module: String

file: String

depends: Vec<String>

effects: Vec<String>

exposes_opaque: Vec<String>

has_main: bool

shape: ModuleShape

kind: Kind

effectful_fn_ratio: f64

Fraction of non-main fns that declare effects in their ! [...]. Drives the Orchestration vs PureHelpers decision in derive_kind so a pure module with a demo main() doesn’t read as Orchestration.

verify: VerifyReport

histogram: Histogram

layer: Option<LayerVerdict>

fns: Vec<FnShape>

patterns: Vec<ModulePattern>

Module-level typed patterns recognized by analysis::shape (stage 6 of #232). Populated from program_shape.patterns; the renderer surfaces them in their own section so callers see every refinement / wrapper / pipeline / renderer / fold the substrate identified.

Trait Implementations

impl Clone for ShapeReport

fn clone(&self) -> ShapeReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ShapeReport

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

Formats the value using the given formatter.