Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Generators.QuickCheck.Common

Contents

Synopsis

type TypeCtx = Kind () #
Partial unsafeInferKind, useful for context where invariants are set up to guarantee that types are well-kinded.

Check well-kindedness of a type in a context

genList :: Int -> Int -> Gen a -> Gen [a] #

Generate a list with the given minimum and maximum lengths. It is similar to Hedgehog.Internal.Gen.list.

Note that genList 0 n gen behaves differently than resize n (listOf gen), because

   resize m (genList 0 n gen) = genList 0 n (resize m gen)

whereas

   resize m (resize n (listOf gen)) = resize n (listOf gen)

Orphan instances

Doc ann #
Testable (Either String ()) #
Instance details Methods property :: Either String () -> Property propertyForAllShrinkShow :: Gen a -> (a -> [a]) -> (a -> [String]) -> (a -> Either String ()) -> Property