Trait DelegateRingImplFiniteRing 

pub trait DelegateRingImplFiniteRing: DelegateRing { }

Marks a DelegateRing R to be considered in the blanket implementation R: FiniteRing where R::Base: FiniteRing.

We don’t want to implement R: FiniteRing for any DelegateRing R, since some ring newtypes want to have control of when the ring is FiniteRing.

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 DelegateRingImplFiniteRing for ZnFastmulBase

impl<'a, R> DelegateRingImplFiniteRing for IntegersWithLocalZnQuotient<'a, R>

where R: Sized + SelfIso + ZnRing + FromModulusCreateableZnRing + Clone,

impl<Impl> DelegateRingImplFiniteRing for GaloisFieldBase<Impl>

where Impl: RingStore, Impl::Type: Field + FreeAlgebra + FiniteRing, <<Impl::Type as RingExtension>::BaseRing as RingStore>::Type: ZnRing + Field,

impl<R: DivisibilityRingStore> DelegateRingImplFiniteRing for AsLocalPIRBase<R>

where R::Type: DivisibilityRing,

impl<R: RingStore> DelegateRingImplFiniteRing for AsFieldBase<R>

where R::Type: DivisibilityRing,