Skip to main content

HasChainComplexResolver

Trait HasChainComplexResolver 

Source
pub trait HasChainComplexResolver<H>: ResolverTuple
where 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§

Source

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§

Source§

impl<H> HasChainComplexResolver<H> for NullResolverTuple
where H: Hasher,

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