Struct StoreF 

pub struct StoreF<S>(/* private fields */);

Type constructor for the Store comonad: Of<T> = (Box<dyn Fn(S) -> T>, S).

Trait Implementations

impl<S> ComonadStore<S> for StoreF<S>

where S: Clone + 'static,

Available on crate features alloc or std only.

fn pos<A>(wa: &(Box<dyn Fn(S) -> A>, S)) -> S

fn peek<A>(s: S, wa: &(Box<dyn Fn(S) -> A>, S)) -> A

fn extract<A>(wa: &Self::Of<A>) -> A

where S: Clone,

Extract the focused value (equivalent to peek(pos(wa), wa)).

impl<S> HKT for StoreF<S>

where S: 'static,

Available on crate features alloc or std only.

type Of<T> = (Box<dyn Fn(S) -> T>, S)