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