Struct STM 

pub struct STM<E, A> { /* private fields */ }

STM Effect

Implementations

impl<E, A> STM<E, A>

where E: 'static, A: 'static,

pub fn succeed(a: A) -> STM<E, A>

where A: Clone + Send + Sync,

pub fn fail(e: E) -> STM<E, A>

where E: Clone + Send + Sync,

pub fn retry() -> STM<E, A>

pub fn map<B>(self, f: impl Fn(A) -> B + Send + Sync + 'static) -> STM<E, B>

where A: Send + Sync, B: Send + Sync,

pub fn flat_map<B>( self, f: impl Fn(A) -> STM<E, B> + Send + Sync + 'static, ) -> STM<E, B>

where A: Send + Sync, B: Send + Sync,

pub fn map_error<E2>( self, f: impl Fn(E) -> E2 + Send + Sync + 'static, ) -> STM<E2, A>

where E2: 'static,

impl<E, A> STM<E, A>

where E: Send + Sync + Clone + 'static, A: Send + Sync + Clone + 'static,

pub fn commit<R>(self) -> Effect<R, E, A>

where R: Send + Sync + 'static + Clone,

Trait Implementations

impl<E, A> Clone for STM<E, A>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.