Skip to main content

HasChainComplexResolver

Trait HasChainComplexResolver 

Source
pub trait HasChainComplexResolver<const INLINE_BYTES: usize, H>: ResolverTuple {
    // Required method
    fn chain_complex_resolver(
        &self,
    ) -> &dyn ChainComplexResolver<INLINE_BYTES, H>;
}
Expand description

ADR-036 marker trait: ResolverTuple positions including a ChainComplexResolver. The prism_model! macro infers the where-clause bound for each resolver-bound ψ-Term variant a verb body emits.

Required Methods§

Source

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

Returns the ChainComplexResolver impl this ResolverTuple carries.

Dyn Compatibility§

This trait is not dyn compatible.

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

Implementors§

Source§

impl<const INLINE_BYTES: usize, H> HasChainComplexResolver<INLINE_BYTES, H> for NullResolverTuple

ADR-036: NullResolverTuple satisfies HasChainComplexResolver<INLINE_BYTES, H> (returns self).