Trait WeakPotentialWell 

pub trait WeakPotentialWell: PotentialWell {
    type Strong: StrongPotentialWell;
    type WeakWell<T>: WeakWell<Target = T, Strong: KineticWell<Potential = Self::Strong>> + KineticWell<Potential: PotentialWell<Well<T> = Self::WeakWell<T>>>;
}

PotentialWell that always yields WeakWells.

Unfortunately, without higher-kinded trait bounds (HKTBs) for generic associated types (GATs), we can’t make this into a proper trait alias, and it must be implemented manually.

Required Associated Types

type Strong: StrongPotentialWell

Potential well that corresponds to the Strong wells for each weak well.

type WeakWell<T>: WeakWell<Target = T, Strong: KineticWell<Potential = Self::Strong>> + KineticWell<Potential: PotentialWell<Well<T> = Self::WeakWell<T>>>

Makes a well of a partiuclar type.

This only acts to verify the trait, and is never used directly.

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.

Implementations on Foreign Types

impl WeakPotentialWell for Weak<()>

Available on crate feature alloc only.

type Strong = Rc<()>

type WeakWell<T> = Weak<T>

impl WeakPotentialWell for Weak<()>

Available on crate features alloc only.

type Strong = Arc<()>

type WeakWell<T> = Weak<T>

Implementors