Modulehedgehog-1.7

Hedgehog.Gen

Synopsis

value alpha
value alphaNum
value ascii
value binit
value bool
value bool_
value bytes
value choice
value constant
value digit
value discard
value double
value either
value either_
value element
value enum
value enumBounded
value filter
value filterT
value float
value freeze
value frequency
value hexit
value int
value int16
value int32
value int64
value int8
value integral
value integral_
value just
value justT
value latin1
value list
value lower
value map
value mapMaybe
value mapMaybeT
value maybe
value nonEmpty
value octit
value print
value printTree
value printTreeWith
value printWith
value prune
value realFloat
value realFrac_
value recursive
value resize
value sample
value scale
value seq
value set
value shrink
value shuffle
value sized
value small
value string
value subsequence
value subset
value subterm
value subterm2
value subterm3
value subtermM
value subtermM2
value subtermM3
value text
value unicode
value unicodeAll
value upper
value utf8
value word
value word16
value word32
value word64
value word8
value parallel
value sequential

Packagehedgehog-1.7
Exports79
LicenceBSD-3-Clause

valuealpha :: MonadGen m => m Char

valuealphaNum :: MonadGen m => m Char

valueascii :: MonadGen m => m Char

valuebinit :: MonadGen m => m Char

valuebool :: MonadGen m => m Bool

valuebool_ :: MonadGen m => m Bool

valuebytes :: MonadGen m => Range Int -> m ByteString

valuechoice :: (HasCallStack, MonadGen m) => [m a] -> m a

valueconstant :: MonadGen m => a -> m a

valuedigit :: MonadGen m => m Char

valuediscard :: MonadGen m => m a

valuedouble :: MonadGen m => Range Double -> m Double

valueeither :: MonadGen m => m a -> m b -> m (Either a b)

valueeither_ :: MonadGen m => m a -> m b -> m (Either a b)

valueelement :: (HasCallStack, Foldable f, MonadGen m) => f a -> m a

valueenum :: (MonadGen m, Enum a) => a -> a -> m a

valueenumBounded :: (MonadGen m, Enum a, Bounded a) => m a

valuefilter :: (MonadGen m, GenBase m ~ Identity) => (a -> Bool) -> m a -> m a

valuefilterT :: MonadGen m => (a -> Bool) -> m a -> m a

valuefloat :: MonadGen m => Range Float -> m Float

valuefreeze :: MonadGen m => m a -> m (a, m a)

valuefrequency :: (HasCallStack, MonadGen m) => [(Int, m a)] -> m a

valuehexit :: MonadGen m => m Char

valueint :: MonadGen m => Range Int -> m Int

valueint16 :: MonadGen m => Range Int16 -> m Int16

valueint32 :: MonadGen m => Range Int32 -> m Int32

valueint64 :: MonadGen m => Range Int64 -> m Int64

valueint8 :: MonadGen m => Range Int8 -> m Int8

valueintegral :: (MonadGen m, Integral a) => Range a -> m a

valueintegral_ :: (MonadGen m, Integral a) => Range a -> m a

valuejust :: (MonadGen m, GenBase m ~ Identity) => m (Maybe a) -> m a

valuejustT :: MonadGen m => m (Maybe a) -> m a

valuelatin1 :: MonadGen m => m Char

valuelist :: MonadGen m => Range Int -> m a -> m [a]

valuelower :: MonadGen m => m Char

valuemap :: (MonadGen m, Ord k) => Range Int -> m (k, v) -> m (Map k v)

valuemapMaybe

:: (MonadGen m, GenBase m ~ Identity)
=> a -> Maybe b
-> m a
-> m b

valuemapMaybeT :: MonadGen m => (a -> Maybe b) -> m a -> m b

valuemaybe :: MonadGen m => m a -> m (Maybe a)

valuenonEmpty :: MonadGen m => Range Int -> m a -> m (NonEmpty a)

valueoctit :: MonadGen m => m Char

valueprint :: (MonadIO m, Show a) => Gen a -> m ()

valueprintTree :: (MonadIO m, Show a) => Gen a -> m ()

valueprintTreeWith :: (MonadIO m, Show a) => Size -> Seed -> Gen a -> m ()

valueprintWith :: (MonadIO m, Show a) => Size -> Seed -> Gen a -> m ()

valueprune :: MonadGen m => m a -> m a

valuerealFloat :: (MonadGen m, RealFloat a) => Range a -> m a

valuerealFrac_ :: (MonadGen m, RealFrac a) => Range a -> m a

valuerecursive :: MonadGen m => ([m a] -> m a) -> [m a] -> [m a] -> m a

valueresize :: MonadGen m => Size -> m a -> m a

valuesample :: (HasCallStack, MonadIO m) => Gen a -> m a

valuescale :: (HasCallStack, MonadGen m) => (Size -> Size) -> m a -> m a

valueseq :: MonadGen m => Range Int -> m a -> m (Seq a)

valueset :: (MonadGen m, Ord a) => Range Int -> m a -> m (Set a)

valueshrink :: MonadGen m => (a -> [a]) -> m a -> m a

valueshuffle :: MonadGen m => [a] -> m [a]

valuesized :: MonadGen m => (Size -> m a) -> m a

valuesmall :: MonadGen m => m a -> m a

valuestring :: MonadGen m => Range Int -> m Char -> m String

valuesubsequence :: MonadGen m => [a] -> m [a]

valuesubset :: MonadGen m => Set a -> m (Set a)

valuesubterm :: MonadGen m => m a -> (a -> a) -> m a

valuesubterm2 :: MonadGen m => m a -> m a -> (a -> a -> a) -> m a

valuesubterm3 :: MonadGen m => m a -> m a -> m a -> (a -> a -> a -> a) -> m a

valuesubtermM :: MonadGen m => m a -> (a -> m a) -> m a

valuesubtermM2 :: MonadGen m => m a -> m a -> (a -> a -> m a) -> m a

valuesubtermM3 :: MonadGen m => m a -> m a -> m a -> (a -> a -> a -> m a) -> m a

valuetext :: MonadGen m => Range Int -> m Char -> m Text

valueunicode :: MonadGen m => m Char

valueunicodeAll :: MonadGen m => m Char

valueupper :: MonadGen m => m Char

valueutf8 :: MonadGen m => Range Int -> m Char -> m ByteString

valueword :: MonadGen m => Range Word -> m Word

valueword16 :: MonadGen m => Range Word16 -> m Word16

valueword32 :: MonadGen m => Range Word32 -> m Word32

valueword64 :: MonadGen m => Range Word64 -> m Word64

valueword8 :: MonadGen m => Range Word8 -> m Word8

valueparallel

:: (MonadGen gen, MonadTest m)
=> Range Int
-> Range Int
-> forall (v :: Type -> Type). state v
-> [Command gen m state]
-> gen (Parallel m state)

valuesequential

:: (MonadGen gen, MonadTest m)
=> Range Int
-> forall (v :: Type -> Type). state v
-> [Command gen m state]
-> gen (Sequential m state)