Commit 2023-12-12 07:55 b4f0e656

View on Github →

feat(Mathlib/Control/Random): enhance to a monad transformer (#8876) This follows the pattern that is already present in the haskell version

Estimated changes

Modified Mathlib/Control/Random.lean

modified def IO.runRand

modified def IO.runRandWith

modified def Rand.next

modified def Rand.range

modified def Rand.split

modified def Random.rand

modified def Random.randBool

modified def Random.randBound

modified def Random.randFin

Modified Mathlib/Testing/SlimCheck/Gen.lean

modified def SlimCheck.Gen.choose

modified def SlimCheck.Gen.chooseAny

Modified Mathlib/Testing/SlimCheck/Testable.lean

Created test/random.lean