Test.LessArbitrary

Documentation

class LessArbitrary a where

Minimal complete definition

Nothing

Methods

lessArbitrary :: CostGen a

lessArbitrary :: (Generic a, GLessArbitrary (Rep a)) => CostGen a

Instances

LessArbitrary Bool

Defined in Test.LessArbitrary

Methods

lessArbitrary :: CostGen Bool

LessArbitrary Char

Defined in Test.LessArbitrary

Methods

lessArbitrary :: CostGen Char

LessArbitrary Double

Defined in Test.LessArbitrary

Methods

lessArbitrary :: CostGen Double

LessArbitrary Int

Defined in Test.LessArbitrary

Methods

lessArbitrary :: CostGen Int

LessArbitrary Integer

Defined in Test.LessArbitrary

Methods

lessArbitrary :: CostGen Integer

LessArbitrary Scientific

Defined in Test.LessArbitrary

Methods

lessArbitrary :: CostGen Scientific

LessArbitrary a => LessArbitrary [a]

Defined in Test.LessArbitrary

Methods

lessArbitrary :: CostGen [a]

(LessArbitrary k, Ord k) => LessArbitrary (Set k)

Defined in Test.LessArbitrary

Methods

lessArbitrary :: CostGen (Set k)

LessArbitrary a => LessArbitrary (Vector a)

Defined in Test.LessArbitrary

Methods

lessArbitrary :: CostGen (Vector a)

(LessArbitrary k, LessArbitrary v) => LessArbitrary (k, v)

Defined in Test.LessArbitrary

Methods

lessArbitrary :: CostGen (k, v)

(LessArbitrary k, Eq k, Ord k, Hashable k, LessArbitrary v) => LessArbitrary (HashMap k v)

Defined in Test.LessArbitrary

Methods

lessArbitrary :: CostGen (HashMap k v)

oneof :: [CostGen a] -> CostGen a

choose :: Random a => (a, a) -> CostGen a

newtype CostGen a

Constructors

CostGen

Fields

• runCostGen :: StateT Cost Gen a

Instances

Monad CostGen

Defined in Test.LessArbitrary

Methods

(>>=) :: CostGen a -> (a -> CostGen b) -> CostGen b

(>>) :: CostGen a -> CostGen b -> CostGen b

return :: a -> CostGen a

fail :: String -> CostGen a

Functor CostGen

Defined in Test.LessArbitrary

Methods

fmap :: (a -> b) -> CostGen a -> CostGen b

(<$) :: a -> CostGen b -> CostGen a

MonadFix CostGen

Defined in Test.LessArbitrary

Methods

mfix :: (a -> CostGen a) -> CostGen a

Applicative CostGen

Defined in Test.LessArbitrary

Methods

pure :: a -> CostGen a

(<*>) :: CostGen (a -> b) -> CostGen a -> CostGen b

liftA2 :: (a -> b -> c) -> CostGen a -> CostGen b -> CostGen c

(*>) :: CostGen a -> CostGen b -> CostGen b

(<*) :: CostGen a -> CostGen b -> CostGen a

Testable a => Testable (CostGen a)

Defined in Test.LessArbitrary

Methods

property :: CostGen a -> Property

propertyForAllShrinkShow :: Gen a0 -> (a0 -> [a0]) -> (a0 -> [String]) -> (a0 -> CostGen a) -> Property

(<$$$>) :: (a -> b) -> CostGen a -> CostGen b

($$$?) :: 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