Data.Registry.Internal.Hedgehog

Documentation

data Chooser

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

Constructors

Chooser

Fields

• chooserType :: Text
• pickOne :: forall a. [Gen a] -> Gen a

Instances

Show Chooser

Defined in Data.Registry.Internal.Hedgehog

Methods

showsPrec :: Int -> Chooser -> ShowS

show :: Chooser -> String

showList :: [Chooser] -> ShowS

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

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

choiceChooser :: Chooser

Chooser for randomly selecting a generator

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

Lift a pure generator into another monad like IO

sampleIO :: GenT IO a -> IO a

Sample Gen values