Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

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.