Documentation

sampleCategoricalProbability :: PrimMonad m => Int -> Gen (PrimState m) -> CategoricalProbability -> m Int Source #

sampleNumberProbability :: PrimMonad m => Gen (PrimState m) -> NumberProbability -> m Int Source #

sampleIn :: (Functor m, PrimMonad m) => [a] -> Gen (PrimState m) -> CategoricalProbability -> m a Source #

sampleInString :: (Functor m, PrimMonad m) => ByteString -> Gen (PrimState m) -> CategoricalProbability -> m Word8 Source #

sampleBernoulli :: (p -> Double) -> GenM p Bool Source #

choice :: (p -> Double) -> GenM p a -> GenM p a -> GenM p a Source #

sampleMaybe :: (p -> Double) -> GenM p a -> GenM p (Maybe a) Source #

sampleEither :: (p -> Double) -> GenM p a -> GenM p b -> GenM p (Either a b) Source #

sampleSegment :: (p -> CategoricalProbability) -> Int -> Int -> GenM p Int Source #

sampleEnum :: (Bounded a, Enum a) => (p -> CategoricalProbability) -> GenM p a Source #

sampleMaybeEnum :: (Bounded a, Enum a) => (p -> CategoricalProbability) -> GenM p (Maybe a) Source #

sampleWeighted :: [(Double, a)] -> GenM p a Source #

sampleFrom :: (p -> CategoricalProbability) -> [a] -> GenM p a Source #

sampleFromString :: (p -> CategoricalProbability) -> ByteString -> GenM p Word8 Source #

sampleBranch :: (p -> CategoricalProbability) -> [GenM p a] -> GenM p a Source #

sampleNum :: (p -> NumberProbability) -> GenM p Int Source #

sampleN :: (p -> NumberProbability) -> GenM p b -> GenM p [b] Source #

sampleNE :: (p -> NumberProbability) -> GenM p b -> GenM p (NonEmpty b) Source #

sampleString :: (p -> NumberProbability) -> (p -> CategoricalProbability) -> ByteString -> GenM p ByteString Source #

sampleNEString :: (p -> NumberProbability) -> (p -> CategoricalProbability) -> ByteString -> GenM p ByteString Source #

sampleFiltered :: (p -> CategoricalProbability) -> Int -> [Int] -> GenM p Int Source #

type GenM p = ReaderT (p, Gen RealWorld) IO Source #