Struct monadic::writer_trans::WriterT

pub struct WriterT<M, W = String> { /* fields omitted */ }

Methods

impl<A, M, W> WriterT<M, W> where
    A: Clone,
    M: Clone + Monad<Item = A> + FromIterator<A>,
    W: Monoid + Clone, 

pub fn pure(x: A) -> Self

This function requires to type annotate the inner monad, better use lift MonadInstance::pure(expr)

pub fn lift(m: M) -> Self

lift a monad

pub fn lift_iter<I>(it: I) -> Self where
    I: Iterator<Item = A>, 

lift from iterator

pub fn bind<B: Clone, N: Clone, F>(self, f: F) -> WriterT<N, W> where
    F: Fn(A) -> WriterT<N, W>,
    N: MPlus<Item = B>, 

the destination inner monad must implement crate::monad::MPlus

pub fn unwrap_pair(self) -> (M, W)

unwrap_pair returns the inner monad and log

pub fn unwrap(self) -> M

unwrap returns the inner monad

pub fn listen(self) -> WriterT<Vec<(A, W)>, W>

listen pairs the result with the log

pub fn listens<F, V>(self, f: F) -> WriterT<Vec<(A, V)>, W> where
    F: Fn(W) -> V, 

listens pairs the result with a projection of the log

pub fn censor<F: Fn(W) -> W>(self, f: F) -> Self

censor modifies the log

Trait Implementations

impl<M: Clone, W: Clone> Clone for WriterT<M, W>

fn clone(&self) -> WriterT<M, W>

Returns a copy of the value.

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

Performs copy-assignment from source.