Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- class LessArbitrary a where
- lessArbitrary :: CostGen a
- oneof :: HasCallStack => [CostGen a] -> CostGen a
- choose :: Random a => (a, a) -> CostGen a
- budgetChoose :: CostGen Int
- newtype CostGen a = CostGen {
- runCostGen :: StateT Cost Gen a
- (<$$$>) :: (a -> b) -> CostGen a -> CostGen b
- ($$$?) :: HasCallStack => CostGen a -> CostGen a -> CostGen a
- currentBudget :: CostGen Cost
- fasterArbitrary :: LessArbitrary a => Gen a
- genericLessArbitrary :: (Generic a, GLessArbitrary (Rep a)) => CostGen a
- genericLessArbitraryMonoid :: (Generic a, GLessArbitrary (Rep a), Monoid a) => CostGen a
- flatLessArbitrary :: Arbitrary a => CostGen a
- spend :: Cost -> CostGen ()
- withCost :: Int -> CostGen a -> Gen a
- elements :: [a] -> CostGen a
- forAll :: CostGen a -> (a -> CostGen b) -> CostGen b
- sizedCost :: CostGen a -> Gen a
Documentation
class LessArbitrary a where Source #
Nothing
lessArbitrary :: CostGen a Source #
Instances
budgetChoose :: CostGen Int Source #
Choose but only up to the budget (for array and list sizes)
CostGen | |
|
fasterArbitrary :: LessArbitrary a => Gen a Source #
flatLessArbitrary :: Arbitrary a => CostGen a Source #