Struct AddressResolverTuple 

pub struct AddressResolverTuple<H: Hasher> {
    pub nerve: AddressNerveResolver<H>,
    pub chain_complex: AddressChainComplexResolver<H>,
    pub homology_groups: AddressHomologyGroupResolver<H>,
    pub cochain_complex: AddressCochainComplexResolver<H>,
    pub cohomology_groups: AddressCohomologyGroupResolver<H>,
    pub postnikov: AddressPostnikovResolver<H>,
    pub homotopy_groups: AddressHomotopyGroupResolver<H>,
    pub k_invariants: AddressKInvariantResolver<H>,
    /* private fields */
}

Fields

nerve: AddressNerveResolver<H>

chain_complex: AddressChainComplexResolver<H>

homology_groups: AddressHomologyGroupResolver<H>

cochain_complex: AddressCochainComplexResolver<H>

cohomology_groups: AddressCohomologyGroupResolver<H>

postnikov: AddressPostnikovResolver<H>

homotopy_groups: AddressHomotopyGroupResolver<H>

k_invariants: AddressKInvariantResolver<H>

Trait Implementations

impl<H: Hasher> Default for AddressResolverTuple<H>

where AddressNerveResolver<H>: Default, AddressChainComplexResolver<H>: Default, AddressHomologyGroupResolver<H>: Default, AddressCochainComplexResolver<H>: Default, AddressCohomologyGroupResolver<H>: Default, AddressPostnikovResolver<H>: Default, AddressHomotopyGroupResolver<H>: Default, AddressKInvariantResolver<H>: Default,

fn default() -> Self

Returns the “default value” for a type.

impl<H: Hasher> HasChainComplexResolver<H> for AddressResolverTuple<H>

where AddressChainComplexResolver<H>: ChainComplexResolver<H>,

fn chain_complex_resolver(&self) -> &dyn ChainComplexResolver<H>

Returns the ChainComplexResolver impl this ResolverTuple carries.

impl<H: Hasher> HasCochainComplexResolver<H> for AddressResolverTuple<H>

where AddressCochainComplexResolver<H>: CochainComplexResolver<H>,

fn cochain_complex_resolver(&self) -> &dyn CochainComplexResolver<H>

Returns the CochainComplexResolver impl this ResolverTuple carries.

impl<H: Hasher> HasCohomologyGroupResolver<H> for AddressResolverTuple<H>

where AddressCohomologyGroupResolver<H>: CohomologyGroupResolver<H>,

fn cohomology_group_resolver(&self) -> &dyn CohomologyGroupResolver<H>

Returns the CohomologyGroupResolver impl this ResolverTuple carries.

impl<H: Hasher> HasHomologyGroupResolver<H> for AddressResolverTuple<H>

where AddressHomologyGroupResolver<H>: HomologyGroupResolver<H>,

fn homology_group_resolver(&self) -> &dyn HomologyGroupResolver<H>

Returns the HomologyGroupResolver impl this ResolverTuple carries.

impl<H: Hasher> HasHomotopyGroupResolver<H> for AddressResolverTuple<H>

where AddressHomotopyGroupResolver<H>: HomotopyGroupResolver<H>,

fn homotopy_group_resolver(&self) -> &dyn HomotopyGroupResolver<H>

Returns the HomotopyGroupResolver impl this ResolverTuple carries.

impl<H: Hasher> HasKInvariantResolver<H> for AddressResolverTuple<H>

where AddressKInvariantResolver<H>: KInvariantResolver<H>,

fn k_invariant_resolver(&self) -> &dyn KInvariantResolver<H>

Returns the KInvariantResolver impl this ResolverTuple carries.

impl<H: Hasher> HasNerveResolver<H> for AddressResolverTuple<H>

where AddressNerveResolver<H>: NerveResolver<H>,

fn nerve_resolver(&self) -> &dyn NerveResolver<H>

Returns the NerveResolver impl this ResolverTuple carries.

impl<H: Hasher> HasPostnikovResolver<H> for AddressResolverTuple<H>

where AddressPostnikovResolver<H>: PostnikovResolver<H>,

fn postnikov_resolver(&self) -> &dyn PostnikovResolver<H>

Returns the PostnikovResolver impl this ResolverTuple carries.

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<H: Hasher> ResolverTuple for AddressResolverTuple<H>

const ARITY: usize = 8usize

Number of resolver positions in this tuple (bounded by MAX_RESOLVER_TUPLE_ARITY).

const CATEGORIES: &'static [ResolverCategory]

Resolver category at each tuple position.

impl<H: Hasher> Sealed for AddressResolverTuple<H>