Algorithms.Random.Shuffle.Pure

Documentation

shuffle :: Monad m => GetRandR m -> [a] -> m [a]

Reimplementation of shuffleM in terms of a raw Monad m => m a. TODO: Generalize by mono-traversable

sampleOne :: (IsSequence seq, Monad m) => GetRandR m -> seq -> m (Maybe (Element seq))

Implementation of Reservoir sampling for a single sample.

type GetRandR m = (Int, Int) -> m Int

Monadic action generating an index number for shuffling. The type parameter m is usually some Monad.