Hedgehog.Gen · hedgehog-1.7 · horizon-javascript

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)

#