Hoogle Search
Within LTS Haskell 24.10 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
liftArbitrary :: forall (n :: Nat) a . SNatI n => Gen a -> Gen (Tree n a)ral Data.RAVec.Tree No documentation available.
liftArbitrary :: forall (n :: Nat) a . SNatI n => Gen a -> Gen (Tree n a)ral Data.RAVec.Tree.DF No documentation available.
-
safe-gen Test.QuickCheck.SafeGen Intended to be used as a deriving conduit for Arbitrary from SafeArbitrary. This defines arbitrary as runSafeGen arbitrary, and shrink as genericShrink.
FromSafeArbitrary :: a -> FromSafeArbitrary asafe-gen Test.QuickCheck.SafeGen No documentation available.
-
safe-gen Test.QuickCheck.SafeGen Like Arbitrary, but with SafeGen instead of Gen. In practice, you probably won't interface with this class directly other than deriving an instance when deriving Arbitrary via FromSafeArbitrary. One exception might be when you're not happy with the way FromSafeArbitrary derives shrink, and you want to manually implement it. In that case, you can manually write arbitrary = runSafeGen safeArbitrary Another example is when working with lazy infinite data, in which case you might want to remove the termination check using arbitrary = runSafeGenNoCheck safeArbitrary.
safeArbitrary :: SafeArbitrary a => SafeGen asafe-gen Test.QuickCheck.SafeGen No documentation available.
-
safe-gen Test.QuickCheck.SafeGen.Generic Intended to be used as a deriving conduit for Arbitrary from SafeArbitrary. This defines arbitrary as runSafeGen arbitrary, and shrink as genericShrink.
FromSafeArbitrary :: a -> FromSafeArbitrary asafe-gen Test.QuickCheck.SafeGen.Generic No documentation available.
-
safe-gen Test.QuickCheck.SafeGen.Generic Like Arbitrary, but with SafeGen instead of Gen. In practice, you probably won't interface with this class directly other than deriving an instance when deriving Arbitrary via FromSafeArbitrary. One exception might be when you're not happy with the way FromSafeArbitrary derives shrink, and you want to manually implement it. In that case, you can manually write arbitrary = runSafeGen safeArbitrary Another example is when working with lazy infinite data, in which case you might want to remove the termination check using arbitrary = runSafeGenNoCheck safeArbitrary.
safeArbitrary :: SafeArbitrary a => SafeGen asafe-gen Test.QuickCheck.SafeGen.Generic No documentation available.