Skip to main content

Divisible

karpal_std::prelude

Trait Divisible 

Source 
pub trait Divisible: Divide {
    // Required method
    fn conquer<A>() -> Self::Of<A>
       where A: 'static;
}
Expand description

Divisible: the contravariant analogue of Applicative.

Adds a conquer operation (the identity for divide), analogous to pure.

Laws:

  • Left identity: divide(f, conquer(), fa) ≈ contramap(snd . f, fa)
  • Right identity: divide(f, fa, conquer()) ≈ contramap(fst . f, fa)

Required Methods§

Source

fn conquer<A>() -> Self::Of<A>
where A: 'static,

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§