Struct EnvF 

pub struct EnvF<E>(/* private fields */);

Type constructor for the Env comonad: Of<T> = (E, T).

Trait Implementations

impl<E> Adjunction<EnvF<E>, ReaderF<E>> for CurryAdj<E>

where E: Clone + 'static,

Available on crate features alloc or std only.

fn unit<A>(a: A) -> Box<dyn Fn(E) -> (E, A)>

where A: Clone + 'static,

unit: A -> U(F(A))

fn counit<B>(fub: (E, Box<dyn Fn(E) -> B>)) -> B

where B: 'static,

counit: F(U(B)) -> B

impl<E> Comonad for EnvF<E>

fn extract<A>(wa: &(E, A)) -> A

where A: Clone,

impl<E> ComonadEnv<E> for EnvF<E>

where E: Clone,

fn ask<A>(wa: &(E, A)) -> E

fn local<A>(wa: (E, A), f: impl Fn(E) -> E) -> (E, A)

impl<E> Extend for EnvF<E>

fn extend<A, B>(wa: (E, A), f: impl Fn(&(E, A)) -> B) -> (E, B)

where A: Clone,

fn duplicate<A>(wa: Self::Of<A>) -> Self::Of<Self::Of<A>>

where A: Clone, Self::Of<A>: Clone,

impl<E> Functor for EnvF<E>

fn fmap<A, B>(fa: (E, A), f: impl Fn(A) -> B) -> (E, B)

impl<E> HKT for EnvF<E>

type Of<T> = (E, T)

impl<E> Invariant for EnvF<E>

fn invmap<A, B>(fa: (E, A), f: impl Fn(A) -> B, _g: impl Fn(B) -> A) -> (E, B)