pub trait HasChainComplexResolver<H>: ResolverTuplewhere
H: Hasher,{
// Required method
fn chain_complex_resolver(&self) -> &dyn ChainComplexResolver<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§
Sourcefn chain_complex_resolver(&self) -> &dyn ChainComplexResolver<H>
fn chain_complex_resolver(&self) -> &dyn ChainComplexResolver<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", so this trait is not object safe.
Implementors§
impl<H> HasChainComplexResolver<H> for NullResolverTuplewhere
H: Hasher,
ADR-036: NullResolverTuple satisfies HasChainComplexResolver<H> (returns self).