[−][src]Struct monadic::writer::Writer
Methods
impl<A, W: Monoid + Clone> Writer<A, W>[src]
pub fn bind<B, F>(self, f: F) -> Writer<B, W> where
F: Fn(A) -> Writer<B, W>,
Self: Sized, [src]
F: Fn(A) -> Writer<B, W>,
Self: Sized,
pub fn pure(x: A) -> Self[src]
pub fn lift<B>(self, x: B) -> Writer<B, W>[src]
pub fn unwrap_pair(self) -> (A, W)[src]
pub fn unwrap(self) -> A[src]
pub fn listen(self) -> Writer<(A, W), W>[src]
pub fn listens<T, F: Fn(W) -> T>(self, f: F) -> Writer<(A, T), W>[src]
pub fn censor<F: Fn(W) -> W>(self, f: F) -> Writer<A, W>[src]
Trait Implementations
impl<A: Clone, W> IntoIterator for Writer<A, W>[src]
type Item = A
The type of the elements being iterated over.
type IntoIter = WriterIterator<A>
Which kind of iterator are we turning this into?
fn into_iter(self) -> Self::IntoIter[src]
impl<A: Clone, W: Clone> Clone for Writer<A, W>[src]
Auto Trait Implementations
impl<A, W> Send for Writer<A, W> where
A: Send,
W: Send,
A: Send,
W: Send,
impl<A, W> Sync for Writer<A, W> where
A: Sync,
W: Sync,
A: Sync,
W: Sync,
impl<A, W> Unpin for Writer<A, W> where
A: Unpin,
W: Unpin,
A: Unpin,
W: Unpin,
impl<A, W> UnwindSafe for Writer<A, W> where
A: UnwindSafe,
W: UnwindSafe,
A: UnwindSafe,
W: UnwindSafe,
impl<A, W> RefUnwindSafe for Writer<A, W> where
A: RefUnwindSafe,
W: RefUnwindSafe,
A: RefUnwindSafe,
W: RefUnwindSafe,
Blanket Implementations
impl<R> Bind for R where
R: IntoIterator, [src]
R: IntoIterator,
fn bind<U, F>(Self, F) -> FlatMap<<R as IntoIterator>::IntoIter, U, F> where
F: Fn(<R as IntoIterator>::Item) -> U,
U: IntoIterator, [src]
F: Fn(<R as IntoIterator>::Item) -> U,
U: IntoIterator,
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<I> IntoIterator for I where
I: Iterator, [src]
I: Iterator,
type Item = <I as Iterator>::Item
The type of the elements being iterated over.
type IntoIter = I
Which kind of iterator are we turning this into?
fn into_iter(self) -> I[src]
impl<T> ToOwned for T where
T: Clone, [src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T[src]
fn clone_into(&self, target: &mut T)[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = !
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,