Ivory.QuickCheck.Monad

Monad for generating random C inputs for Ivory programs.

Documentation

data IvoryGen a

Instances

Monad IvoryGen

Functor IvoryGen

Applicative IvoryGen

set :: StdGen -> IvoryGen ()

get :: IvoryGen StdGen

Get the current random number, split it, use one and put back the other.

run :: StdGen -> IvoryGen a -> (a, StdGen)

runIO :: IvoryGen a -> IO a

Generate a fresh random value, run the monad with it, and return the result.