obzenflow_core 0.2.4

Core domain layer for ObzenFlow - pure abstractions with minimal dependencies
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

// SPDX-License-Identifier: MIT OR Apache-2.0
// SPDX-FileCopyrightText: 2025-2026 ObzenFlow Contributors
// https://obzenflow.dev

//! Event schema support
//!
//! This module provides type-safe event handling through the TypedPayload trait,
//! enabling compile-time event type checking.

mod effect_outcome;
mod member_set;
mod middleware_context_key;
mod stage_fact_set;
mod stage_output;
mod typed_fact_set;
mod typed_payload;

pub use effect_outcome::EffectOutcomeFacts;
// FLOWIP-120z proof vocabulary: `Member`/`SubsetOf` appear in public bounds;
// the rest is doc(hidden) macro and derive plumbing.
pub use member_set::{
    const_str_eq, require_distinct, EmptySet, FactList, FactNameDisjoint, Member, MemberAfter,
    MemberFound, MemberList, SubsetOf, SubsetProofEnd, SubsetProofStep, WithMember,
};
// The derive shares the trait's name, serde-style: one import brings both.
pub use middleware_context_key::MiddlewareContextKey;
pub use obzenflow_core_derive::{EffectOutcomeFacts, StageOutputFacts};
pub use stage_fact_set::{assert_distinct_stage_fact_set, DeclaredStageFactSet, StageFactSet};
pub use stage_output::{OneFactStageOutput, StageOutputFacts, StageOutputs};
pub use typed_fact_set::{
    decode_member_fact, missing_fact_group_error, sum_group_arity_error, TypedFact, TypedFactSet,
    TypedFactSetError, TypedFactType,
};
pub use typed_payload::{TypedPayload, TypedPayloadError};

/// Stable, narrow compiler support selected by the carrier derives' schema path.
#[doc(hidden)]
pub mod __private {
    pub use super::{
        decode_member_fact, missing_fact_group_error, sum_group_arity_error, EmptySet, FactList,
        OneFactStageOutput, StageFactSet, TypedFact, TypedFactSet, TypedFactSetError,
        TypedFactType, TypedPayload, WithMember,
    };
}