Control.Monad.Random.Extras

Additional monadic random functions, based on MonadRandom.

Random functions

Shuffling

shuffle :: MonadRandom m => [a] -> m [a]

Shuffle a list randomly. The method is based on Oleg Kiselyov's perfect shuffle http://okmij.org/ftp/Haskell/perfect-shuffle.txt, but much simpler because it uses existing data structures. The efficiency of both methods should be comparable.

Complexity: O(n * log n)

shuffleSeq :: MonadRandom m => Seq a -> m [a]

Shuffle a sequence randomly. This is being used by shuffle, so it logically uses the same method.

Complexity: O(n * log n)

Sampling

sample :: MonadRandom m => Int -> [a] -> m [a]

Take a random sample from a list.

Complexity: O(n + m * log n)

sampleSeq :: MonadRandom m => Int -> Seq a -> m [a]

Take a random sample from a sequence.

Complexity: O(m * log n)

Choice

choiceExtract :: MonadRandom m => [a] -> m (Maybe ([a], a))

Randomly choose and extract an element from a list.

Complexity: O(n)

choiceExtractSeq :: MonadRandom m => Seq a -> m (Maybe (Seq a, a))

Randomly choose and extract an element from a sequence.

Complexity: O(log n)

choice :: MonadRandom m => [a] -> m a

Select a random element from a list.

Complexity: O(n).

choiceSeq :: MonadRandom m => Seq a -> m a

Select a random element from a sequence.

Complexity: O(log n).

choiceArray :: (MonadRandom m, IArray arr a, Ix i, Random i) => arr i a -> m a

Select a random element from an array.

Complexity: O(1).

Choices

choices :: MonadRandom m => [a] -> m [a]

A stream of random elements from a list.

Complexity: O(n) base and O(1) per element

choicesArray :: (MonadRandom m, IArray arr a, Ix i, Random i) => arr i a -> m [a]

A stream of random elements from an array.

Complexity: O(1) per element