Module delegate

Contains the trait delegate::DelegateRing that simplifies implementing the newtype-pattern for rings.

Structs

DelegateFiniteRingElementsIter

UnwrapHom

Availability

WrapHom

Availability

Traits

DelegateRing

Trait to simplify implementing newtype-pattern for rings. When you want to create a ring that just wraps another ring, possibly adding some functionality, you can implement DelegateRing instead of RingBase, and just provide how to map elements in the new ring to the wrapped ring and vice versa.

DelegateRingImplEuclideanRing

Marks a DelegateRing R to be considered in the blanket implementation R: EuclideanRing where R::Base: EuclideanRing and R: PrincipalIdealRing where R::Base: PrincipalIdealRing.

DelegateRingImplFiniteRing

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