Trait FactPayload 

pub trait FactPayload:
    Debug
    + Clone
    + Serialize
    + Send
    + Sync
    + 'static {
    const FAMILY: &'static str;
    const VERSION: u16;

    // Provided method
    fn validate(&self) -> Result<(), PayloadError> { ... }
}

Typed payload carried by proposed and promoted facts.

Implementors own a frozen (FAMILY, VERSION) tuple. A shape change is a new Rust type and a new VERSION, never an implicit registry upgrade.

Required Associated Constants

const FAMILY: &'static str

Stable payload-family identifier.

const VERSION: u16

Frozen schema version for this payload type.

Provided Methods

fn validate(&self) -> Result<(), PayloadError>

Validate domain invariants that the Rust type cannot make unrepresentable.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl FactPayload for FlowGateDecision

const FAMILY: &'static str = "converge.flow_gate.decision"

const VERSION: u16 = 1

impl FactPayload for AssignmentPlan

const FAMILY: &'static str = "converge.optimization.assignment.plan"

const VERSION: u16 = 1

impl FactPayload for AssignmentRequest

const FAMILY: &'static str = "converge.optimization.assignment.request"

const VERSION: u16 = 1

impl FactPayload for FlowPlan

const FAMILY: &'static str = "converge.optimization.flow.plan"

const VERSION: u16 = 1

impl FactPayload for FlowRequest

const FAMILY: &'static str = "converge.optimization.flow.request"

const VERSION: u16 = 1

impl FactPayload for PortfolioRequest

const FAMILY: &'static str = "converge.optimization.portfolio.request"

const VERSION: u16 = 1

impl FactPayload for PortfolioSelection

const FAMILY: &'static str = "converge.optimization.portfolio.selection"

const VERSION: u16 = 1

impl FactPayload for SchedulingPlan

const FAMILY: &'static str = "converge.optimization.scheduling.plan"

const VERSION: u16 = 1

impl FactPayload for SchedulingRequest

const FAMILY: &'static str = "converge.optimization.scheduling.request"

const VERSION: u16 = 1

impl FactPayload for VrptwPlan

const FAMILY: &'static str = "converge.optimization.vrptw.plan"

const VERSION: u16 = 1

impl FactPayload for VrptwRequest

const FAMILY: &'static str = "converge.optimization.vrptw.request"

const VERSION: u16 = 1

impl FactPayload for SchedulePlan

const FAMILY: &'static str = "converge.optimization.schedule.plan"

const VERSION: u16 = 1

impl FactPayload for ScheduleRequest

const FAMILY: &'static str = "converge.optimization.schedule.request"

const VERSION: u16 = 1

Implementors

impl FactPayload for FormationPlan

const FAMILY: &'static str = "converge.model.formation.plan"

const VERSION: u16 = 1

impl FactPayload for FormationRequest

const FAMILY: &'static str = "converge.model.formation.request"

const VERSION: u16 = 1

impl FactPayload for DiagnosticPayload

const FAMILY: &'static str = "converge.diagnostic"

const VERSION: u16 = 1

impl FactPayload for ExecutionIdentityEvidence

const FAMILY: &'static str = "converge.execution_identity.evidence"

const VERSION: u16 = 1

impl FactPayload for PackInputPayload

const FAMILY: &'static str = "converge.pack.input"

const VERSION: u16 = 1

impl FactPayload for PackPlanPayload

const FAMILY: &'static str = "converge.pack.plan"

const VERSION: u16 = 1

impl FactPayload for FlowGateInput

const FAMILY: &'static str = "converge.flow_gate.input"

const VERSION: u16 = 1

impl FactPayload for ProviderAssignmentPayload

const FAMILY: &'static str = "converge.kernel.provider.assignment"

const VERSION: u16 = 1

impl FactPayload for ProviderRequestPayload

const FAMILY: &'static str = "converge.kernel.provider.request"

const VERSION: u16 = 1

impl FactPayload for TextPayload

const FAMILY: &'static str = "converge.text"

const VERSION: u16 = 1