func
: remove #[cfg(doc)]
This commit is contained in:
parent
a881a77dd3
commit
0b9858aa3e
@ -28,8 +28,6 @@ pub use self::applicative_select::{
|
||||
};
|
||||
use self::controlflow::{ControlFlow, Iterative};
|
||||
pub use self::extensions::MonadExt;
|
||||
#[cfg(doc)]
|
||||
use self::instances::stackless::StacklessInstance;
|
||||
|
||||
/// Part of Haskell's `Functor f` responsible for having `f a`.
|
||||
///
|
||||
@ -119,6 +117,8 @@ pub trait Monad<'a>: Applicative<'a> {
|
||||
/// Generally, [`Monad::bind`] should be enough implement it.
|
||||
/// See [`StacklessInstance::iterate`] for a generic, though less-than ideal, blanket implementation.
|
||||
/// On practice, you generally shouldn't be using [`Monad::bind`]/[`Pure::pure`]/[`Functor::fmap`] here.
|
||||
///
|
||||
/// [`StacklessInstance::iterate`]: crate::func::instances::stackless::StacklessInstance::iterate
|
||||
fn iterate<B: 'a>(f: impl Iterative<'a, T = Self, B = B>) -> Self::F<B>;
|
||||
|
||||
/// Equivalent of Haskell's `join`.
|
||||
|
Loading…
Reference in New Issue
Block a user