Trait TransferPolicy 

pub trait TransferPolicy<S> {
    // Required methods
    fn fingerprint(&self) -> ValueFingerprint;
    fn policy_size(&self) -> usize;
    fn transfer(&self, state: &S) -> S;
}

A deterministic, inflationary dataflow transfer with stable proof identity.

A policy is deliberately an object rather than a closure: its fingerprint participates in cache and proof identity.

Required Methods

fn fingerprint(&self) -> ValueFingerprint

Stable identity of the policy’s semantics and configuration.

fn policy_size(&self) -> usize

Accounts for policy configuration retained by an admitted analysis.

fn transfer(&self, state: &S) -> S

Computes the next state.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors