Doc fixes

Author: dhardy

src/block.rs

@@ -1,15 +1,7 @@
 //! The `Generator` trait and implementation helpers
 //!
-//! The [`Generator`] trait exists to assist in the implementation of RNGs
-//! which generate a block of data in a cache instead of returning generated
-//! values directly.
-//!
-//! Usage of this trait is optional, but provides two advantages:
-//! implementations only need to concern themselves with generation of the
-//! block, not the various [`RngCore`] methods (especially [`fill_bytes`], where
-//! the optimal implementations are not trivial), and this allows
-//! `ReseedingRng` (see [`rand`](https://docs.rs/rand) crate) perform periodic
-//! reseeding with very low overhead.
+//! The [`Generator`] trait and [`BlockRng`] exist to assist in the
+//! implementation of [`RngCore`] for block-generators over an output buffer.
 //!
 //! # Example
 //!
@@ -60,8 +52,16 @@
 //! println!("First value: {}", rng.next_u32());
 //! ```
 //!
+//! # ReseedingRng
+//!
+//! The [`Generator`] trait supports usage of [`rand::rngs::ReseedingRng`].
+//! This requires that [`SeedableRng`] be implemented on the "core" generator.
+//! (This is in addition to any implementations on an [`RngCore`] type.)
+//!
 //! [`Generator`]: crate::block::Generator
-//! [`fill_bytes`]: RngCore::fill_bytes
+//! [`RngCore`]: crate::RngCore
+//! [`SeedableRng`]: crate::SeedableRng
+//! [`rand::rngs::ReseedingRng`]: https://docs.rs/rand/latest/rand/rngs/struct.ReseedingRng.html
 
 use crate::le::{Observable, fill_via_chunks};
 use core::fmt;
@@ -88,39 +88,20 @@ pub trait Generator {
 /// `#[cfg(test)]` attribute to ensure that mock "crypto" generators cannot be
 /// used in production.
 ///
-/// See [`CryptoRng`] docs for more information.
+/// See [`CryptoRng`](crate::CryptoRng) docs for more information.
 pub trait CryptoGenerator: Generator {}
 
-/// A wrapper type implementing [`RngCore`] for some type implementing
-/// [`Generator`] with `u32` array buffer; i.e. this can be used to implement
-/// a full RNG from just a `generate` function.
-///
-/// The `core` field may be accessed directly but the results buffer may not.
-/// PRNG implementations can simply use a type alias
-/// (`pub type MyRng = BlockRng<MyRngCore>;`) but might prefer to use a
-/// wrapper type (`pub struct MyRng(BlockRng<MyRngCore>);`); the latter must
-/// re-implement `RngCore` but hides the implementation details and allows
-/// extra functionality to be defined on the RNG
-/// (e.g. `impl MyRng { fn set_stream(...){...} }`).
-///
-/// `BlockRng` has heavily optimized implementations of the [`RngCore`] methods
-/// reading values from the results buffer, as well as
-/// calling [`Generator::generate`] directly on the output array when
-/// [`fill_bytes`] is called on a large array. These methods also handle
-/// the bookkeeping of when to generate a new batch of values.
+/// RNG functionality for a block [`Generator`]
 ///
-/// No whole generated `u32` values are thrown away and all values are consumed
-/// in-order. [`next_u32`] simply takes the next available `u32` value.
-/// [`next_u64`] is implemented by combining two `u32` values, least
-/// significant first. [`fill_bytes`] consume a whole number of `u32` values,
-/// converting each `u32` to a byte slice in little-endian order. If the requested byte
-/// length is not a multiple of 4, some bytes will be discarded.
+/// This type encompasses a [`Generator`] [`core`](Self::core) and a buffer.
+/// It provides optimized implementations of methods required by an [`RngCore`].
 ///
-/// For easy initialization `BlockRng` also implements [`SeedableRng`].
+/// All values are consumed in-order of generation. No whole words (e.g. `u32`
+/// or `u64`) are discarded, though where a word is partially used (e.g. for a
+/// byte-fill whose length is not a multiple of the word size) the rest of the
+/// word is discarded.
 ///
-/// [`next_u32`]: RngCore::next_u32
-/// [`next_u64`]: RngCore::next_u64
-/// [`fill_bytes`]: RngCore::fill_bytes
+/// [`RngCore`]: crate::RngCore
 #[derive(Clone)]
 pub struct BlockRng<G: Generator> {
     results: G::Output,