Struct AddressModel 

pub struct AddressModel;

Trait Implementations

impl PrismModel<DefaultHostTypes, AddrBounds, Sha256Hasher, AddressResolverTuple<Sha256Hasher>> for AddressModel

type Input = JsonInput

Input feature type — a ConstrainedTypeShape impl declared in foundation vocabulary. Per wiki ADR-023, Input is also bound by IntoBindingValue so run_route can serialize the runtime input value into the CompileUnit binding table for Term::Variable { name_index: 0 } (the route’s input-parameter slot per ADR-022 D3 G2).

type Output = AddressLabel

Output label type — a ConstrainedTypeShape impl declared in foundation vocabulary that is also a crate::enforcement::GroundedShape.

type Route = AddressRoute

Type-level witness of the term tree mapping Input to Output. Bound by FoundationClosed: the prism_model! macro emits the FoundationClosed impl for this witness iff every node is a foundation-vocabulary item, satisfying the closure check at the application’s compile time per UORassembly (TC-04).

fn forward( input: <Self as PrismModel<DefaultHostTypes, AddrBounds, Sha256Hasher, AddressResolverTuple<Sha256Hasher>>>::Input, ) -> Result<Grounded<<Self as PrismModel<DefaultHostTypes, AddrBounds, Sha256Hasher, AddressResolverTuple<Sha256Hasher>>>::Output>, PipelineFailure>

The catamorphism into run_route’s runtime carrier. Implementations are emitted by the prism_model! macro from the syntactic Route declaration; the macro derives the body via initiality of Term (wiki ADR-019). The canonical body is run_route::<H, B, A, Self>(input) (per ADR-022 D5).

impl Sealed for AddressModel