Modulehedgehog-1.7

Hedgehog.Internal.Gen

Synopsis

value alpha
value alphaNum
value ascii
value atLeast
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 element_
value ensure
value enum
value enumBounded
value evalGen
value evalGenT
value filter
value filterT
value float
value freeze
value frequency
value fromTree
value fromTreeMaybeT
value fromTreeT
value generalize
value generate
value golden
value hexit
value int
value int16
value int32
value int64
value int8
value integral
value integral_
value isNoncharacter
value isSurrogate
value just
value justT
value latin1
value list
value lower
value map
value mapGenT
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 renderTree
value resize
value runDiscardEffect
value runDiscardEffectT
value runGenT
value sample
value scale
value seq
value set
value shrink
value shuffle
value shuffleSeq
value sized
value small
value string
value subsequence
value subset
value subterm
value subterm2
value subterm3
value subtermM
value subtermM2
value subtermM3
value subtermMVec
value text
value toTree
value toTreeMaybeT
value unicode
value unicodeAll
value upper
value utf8
value word
value word16
value word32
value word64
value word8
type Gen
newtype GenT
class MonadGen
data Nat
data Vec

Packagehedgehog-1.7
Exports104
LicenceBSD-3-Clause

valuealpha :: MonadGen m => m Char

valuealphaNum :: MonadGen m => m Char

valueascii :: MonadGen m => m Char

valueatLeast :: Int -> [a] -> Bool

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

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

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

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

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

valueevalGen :: Size -> Seed -> Gen a -> Maybe (Tree a)

valueevalGenT :: Monad m => Size -> Seed -> GenT m a -> TreeT m (Maybe 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

valuefromTree :: MonadGen m => Tree a -> m a

valuefromTreeMaybeT :: MonadGen m => TreeT (MaybeT (GenBase m)) a -> m a

valuefromTreeT :: MonadGen m => TreeT (GenBase m) a -> m a

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

valuegenerate :: MonadGen m => (Size -> Seed -> a) -> m a

valuegolden :: Size -> Size

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

valueisNoncharacter :: Char -> Bool

valueisSurrogate :: Char -> Bool

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)

valuemapGenT

:: TreeT (MaybeT m) a -> TreeT (MaybeT n) b
-> GenT m a
-> GenT n b

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

valuerenderTree :: Show a => Size -> Seed -> Gen a -> String

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

valuerunDiscardEffect :: TreeT (MaybeT Identity) a -> Maybe (Tree a)

valuerunDiscardEffectT :: Monad m => TreeT (MaybeT m) a -> TreeT m (Maybe a)

valuerunGenT :: Size -> Seed -> GenT m a -> TreeT (MaybeT 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]

valueshuffleSeq :: MonadGen m => Seq a -> m (Seq 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

valuesubtermMVec :: MonadGen m => Vec n (m a) -> (Vec n a -> m a) -> m a

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

valuetoTree :: (MonadGen m, GenBase m ~ Identity) => m a -> m (Tree a)

valuetoTreeMaybeT :: MonadGen m => m a -> m (TreeT (MaybeT (GenBase m)) a)

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

typetype Gen = GenT Identity

newtypenewtype GenT (m :: Type -> Type) a

Constructors

GenT
- unGenT :: Size -> Seed -> TreeT (MaybeT m) a

Instances28MonadTrans, MMonad, MonadTransDistributive, MFunctor, MonadError, MonadReader, …

MonadTrans GenTDefined in hedgehog-1.7 · Hedgehog.Internal.Gen
MMonad GenTDefined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadTransDistributive GenTDefined in hedgehog-1.7 · Hedgehog.Internal.Gen
MFunctor GenTDefined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadError e m => MonadError e (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadReader r m => MonadReader r (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadState s m => MonadState s (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadWriter w m => MonadWriter w (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadBase b m => MonadBase b (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadBaseControl b m => MonadBaseControl b (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Monad m => Monad (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Functor m => Functor (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Monad m => MonadFail (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Monad m => Applicative (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Monad m => Alternative (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Monad m => MonadPlus (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadIO m => MonadIO (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadCatch m => MonadCatch (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadThrow m => MonadThrow (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
PrimMonad m => PrimMonad (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadResource m => MonadResource (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Monad m => MonadGen (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
(Monad m, Semigroup a) => Semigroup (GenT m a)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
(Monad m, Monoid a) => Monoid (GenT m a)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
type PrimState (GenT m) = PrimState mDefined in hedgehog-1.7 · Hedgehog.Internal.Gen
type StM (GenT m) a = StM (ReaderT Size (ReaderT Seed (TreeT (MaybeT m)))) aDefined in hedgehog-1.7 · Hedgehog.Internal.Gen
type GenBase (GenT m) = mDefined in hedgehog-1.7 · Hedgehog.Internal.Gen
type Transformer t GenT m = (Monad (t (GenT m)), Transformer t MaybeT m, Transformer t TreeT (MaybeT m))Defined in hedgehog-1.7 · Hedgehog.Internal.Gen

classclass (Monad m, Monad (GenBase m)) => MonadGen (m :: Type -> Type) where

Associated types

type family GenBase (m :: Type -> Type) :: Type -> Type

Methods

toGenT :: m a -> GenT (GenBase m) a
fromGenT :: GenT (GenBase m) a -> m a

Instances9MonadGen, …

Monad m => MonadGen (GenT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadGen m => MonadGen (MaybeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadGen m => MonadGen (ExceptT x m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadGen m => MonadGen (IdentityT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadGen m => MonadGen (ReaderT r m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadGen m => MonadGen (StateT r m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
MonadGen m => MonadGen (StateT r m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
(MonadGen m, Monoid w) => MonadGen (WriterT w m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
(MonadGen m, Monoid w) => MonadGen (WriterT w m)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen

datadata Nat

Constructors

Z
S Nat

datadata Vec (n :: Nat) a where

Constructors

Nil :: Vec 'Z a
(:.) :: a -> Vec n a -> Vec n ainfixr 5

Instances3Functor, Foldable, Traversable

Functor (Vec n)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Foldable (Vec n)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen
Traversable (Vec n)Defined in hedgehog-1.7 · Hedgehog.Internal.Gen