Data.Registry.Internal.Hedgehog

Documentation

type GenIO = GenT IO

All the generators we use are lifted into GenIO to allow some generators to be stateful

data Chooser

A "chooser" strategy The type can be used to debug specializations

Constructors

Chooser

Fields

• chooserType :: Text
• pickOne :: forall a. [GenIO a] -> IO (GenIO a)

Instances

Show Chooser

Defined in Data.Registry.Internal.Hedgehog

Methods

showsPrec :: Int -> Chooser -> ShowS

show :: Chooser -> String

showList :: [Chooser] -> ShowS

cycleWith :: MonadIO m => IORef Int -> [GenT m a] -> IO (GenT m a)

Pick a generator in a list based on the previous position selected

chooseOne :: GenIO Chooser -> [GenIO a] -> GenIO a

Given a choosing strategy pick a generator This is possibly a stateful operation

choiceChooser :: Chooser

Chooser for randomly selecting a generator

cycleChooser :: IO Chooser

Chooser for deterministically choosing elements in a list by cycling over them, which requires to maintain some state about the last position

distinct :: (MonadIO m, Eq a) => GenT m a -> IO (GenT m a)

Create a generator for distinct values This is a stateful operation

distinctWith :: (MonadIO m, Eq a) => IORef [a] -> GenT m a -> GenT m a

Generate distinct values based on the values already generated

liftGen :: Monad m => Gen a -> GenT m a

Lift a pure generator into another monad like IO

sampleIO :: GenIO a -> IO a

Sample GenIO values