| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
QuickCheckHelpers
Documentation
generateRequests :: (model -> Gen req) -> (model -> req -> Bool) -> (model -> Either req resp -> model) -> model -> Gen [req] Source #
shrinkRequests :: (model -> req -> [req]) -> (model -> req -> Bool) -> (model -> Either req resp -> model) -> model -> [req] -> [[req]] Source #
generateParallelRequests :: (model -> Gen req) -> (model -> req -> Bool) -> (model -> Either req resp -> model) -> model -> Gen ([req], [req]) Source #
shrinkParallelRequests :: (model -> req -> [req]) -> (model -> req -> Bool) -> (model -> Either req resp -> model) -> model -> ([req], [req]) -> [([req], [req])] Source #