istate docs

src/flow.rs

@@ -1,3 +1,3 @@
-//! Data structures and algorithms, independent of [crate::core] concepts.
+//! Data structures and algorithms, independent of [`crate::core`] concepts.
 
 pub mod traversible;

src/func/istate.rs

@@ -1,10 +1,16 @@
 use super::*;
 
-/// Represents iteration state.
+/// Represents iteration state. Used in [`Monad::ibind`].
+///
+/// [`IState<P, D>`] is isomorphic to [`Result<D, P>`].
 pub enum IState<P, D> {
     /// Loop running.
+    ///
+    /// Isomorphic to [`Result::Err`].
     Pending(P),
     /// Loop finished.
+    ///
+    /// Isomorphic to [`Result::Ok`].
     Done(D),
 }
 

src/lib.rs

@@ -1,3 +1,6 @@
+//! # RADN
+//! Rainbow something something Network.
+
 pub mod core;
 pub mod flow;
 pub mod func;