| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.MuCheck.Utils.Common
Description
Common functions used by MuCheck
- choose :: [a] -> Int -> [[a]]
- coupling :: Eq a => (a -> a -> t) -> [a] -> [t]
- replaceFst :: Eq a => (a, a) -> [a] -> [a]
- sample :: RandomGen g => g -> Int -> [t] -> [t]
- rSample :: Int -> [t] -> IO [t]
- sampleF :: RandomGen g => g -> Rational -> [t] -> [t]
- remElt :: Int -> [a] -> [a]
- swapElts :: Int -> Int -> [t] -> [t]
- genSwapped :: [t] -> [[t]]
- genRandomSeed :: IO StdGen
- curryM :: (t1 -> t2 -> m t) -> (t1, t2) -> m t
- hash :: String -> String
Documentation
coupling :: Eq a => (a -> a -> t) -> [a] -> [t] Source
The coupling function produces all possible pairings, and applies the
given function to each
replaceFst :: Eq a => (a, a) -> [a] -> [a] Source
The replaceFst function replaces first matching element in a list given old and new values as a pair
sample :: RandomGen g => g -> Int -> [t] -> [t] Source
The sample function takes a random generator and chooses a random sample
subset of given size.
sampleF :: RandomGen g => g -> Rational -> [t] -> [t] Source
The sampleF function takes a random generator, and a fraction and
returns subset of size given by fraction
remElt :: Int -> [a] -> [a] Source
The remElt function removes element at index specified from a list
swapElts :: Int -> Int -> [t] -> [t] Source
The swapElts function swaps two elements in a list given their indices
genSwapped :: [t] -> [[t]] Source
The genSwapped generates a list of lists where each element has been
swapped by another
genRandomSeed :: IO StdGen Source
Generate a random seed from the time.