[−][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
Auto Trait Implementations
impl<A, W> RefUnwindSafe for Writer<A, W> where
A: RefUnwindSafe,
W: RefUnwindSafe,
A: RefUnwindSafe,
W: RefUnwindSafe,
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,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
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> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
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 = Infallible
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>,