random-extras-0.19: Additional functions for random values.

Index

biggerData.Random.Distribution.Uniform.Exclusive
cdfMapFromListData.Random.Shuffle.Weighted
choiceData.Random.Extras
choiceArrayData.Random.Extras
choiceExtractData.Random.Extras
choiceExtractSeqData.Random.Extras
choicesData.Random.Extras
choicesArrayData.Random.Extras
choiceSeqData.Random.Extras
dovetailData.Random.Dovetail
dovetailsData.Random.Dovetail
ExcludableData.Random.Distribution.Uniform.Exclusive
faceUpFaceDownData.Random.Dovetail
generalizedDovetailData.Random.Dovetail
generalizedDovetailsData.Random.Dovetail
generalizedInverseDovetailData.Random.Dovetail
generalizedInverseRiffleDecksData.Random.Dovetail
generalizedRiffleDecksData.Random.Dovetail
generalizedSplitDeckData.Random.Dovetail
inverseDovetailData.Random.Dovetail
inverseRiffleDecksData.Random.Dovetail
iterativeChoiceData.Random.Extras
riffleDecksData.Random.Dovetail
safeChoiceData.Random.Extras
safeChoicesData.Random.Extras
safeChoiceSeqData.Random.Extras
sampleData.Random.Extras
sampleSeqData.Random.Extras
shuffleData.Random.Extras
shuffleSeqData.Random.Extras
smallerData.Random.Distribution.Uniform.Exclusive
splitDeckData.Random.Dovetail
uniformExclusiveData.Random.Distribution.Uniform.Exclusive
uniformExclusiveDistData.Random.Distribution.Uniform.Exclusive
weightedChoiceExtractCDFData.Random.Shuffle.Weighted
weightedSampleData.Random.Shuffle.Weighted
weightedSampleCDFData.Random.Shuffle.Weighted
weightedShuffleData.Random.Shuffle.Weighted
weightedShuffleCDFData.Random.Shuffle.Weighted