Data.Registry.Internal.Hedgehog
data Chooser Source #
A "chooser" strategy The type can be used to debug specializations
Constructors
Fields
Defined in Data.Registry.Internal.Hedgehog
Methods
showsPrec :: Int -> Chooser -> ShowS #
show :: Chooser -> String #
showList :: [Chooser] -> ShowS #
chooseOne :: Gen Chooser -> [Gen a] -> Gen a Source #
Given a choosing strategy pick a generator This is possibly a stateful operation
choiceChooser :: Chooser Source #
Chooser for randomly selecting a generator
liftGen :: Monad m => Gen a -> GenT m a Source #
Lift a pure generator into another monad like IO
sampleIO :: GenT IO a -> IO a Source #
Sample Gen values