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.

  1. genericArbitraryRecG :: GArbitrary (SetGens genList SizedOpts) a => genList -> Weights a -> Gen a

    generic-random Generic.Random.Internal.Generic

    genericArbitraryRec with explicit generators. See also genericArbitraryG.

  2. genericArbitrarySingle :: forall a (c0 :: Symbol) . (GArbitrary UnsizedOpts a, Weights_ (Rep a) ~ L c0) => Gen a

    generic-random Generic.Random.Internal.Generic

    arbitrary for types with one constructor. Equivalent to genericArbitraryU, with a stricter type.

    genericArbitrarySingle :: Gen a
    

  3. genericArbitrarySingleG :: forall genList a (c0 :: Symbol) . (GArbitrary (SetGens genList UnsizedOpts) a, Weights_ (Rep a) ~ L c0) => genList -> Gen a

    generic-random Generic.Random.Internal.Generic

    genericArbitrarySingle with explicit generators. See also genericArbitraryG.

  4. genericArbitraryU :: (GArbitrary UnsizedOpts a, GUniformWeight a) => Gen a

    generic-random Generic.Random.Internal.Generic

    Pick every constructor with equal probability. Equivalent to genericArbitrary uniform.

    genericArbitraryU :: Gen a
    

  5. genericArbitraryUG :: (GArbitrary (SetGens genList UnsizedOpts) a, GUniformWeight a) => genList -> Gen a

    generic-random Generic.Random.Internal.Generic

    genericArbitraryU with explicit generators. See also genericArbitraryG.

  6. genericArbitraryWith :: GArbitrary opts a => opts -> Weights a -> Gen a

    generic-random Generic.Random.Internal.Generic

    General generic generator with custom options.

  7. package lua-arbitrary

    Arbitrary instances for Lua types. Provides instances for QuickCheck's "Arbitrary" typeclass.

  8. QArbitraryJoin :: forall be r (db :: (Type -> Type) -> Type) s next . Projectible be r => QM be db (QNested s) r -> Text -> (BeamSqlBackendFromSyntax be -> BeamSqlBackendFromSyntax be -> Maybe (BeamSqlBackendExpressionSyntax be) -> BeamSqlBackendFromSyntax be) -> (r -> Maybe (WithExprContext (BeamSqlBackendExpressionSyntax be))) -> (r -> next) -> QF be db s next

    beam-core Database.Beam.Query.Internal

    No documentation available.

  9. class CoArbitrary a

    massiv-test Test.Massiv.Utils

    Used for random generation of functions. You should consider using Fun instead, which can show the generated functions as strings. If you are using a recent GHC, there is a default definition of coarbitrary using genericCoarbitrary, so if your type has a Generic instance it's enough to say

    instance CoArbitrary MyType
    
    You should only use genericCoarbitrary for data types where equality is structural, i.e. if you can't have two different representations of the same value. An example where it's not safe is sets implemented using binary search trees: the same set can be represented as several different trees. Here you would have to explicitly define coarbitrary s = coarbitrary (toList s).

  10. applyArbitrary2 :: (Arbitrary a, Arbitrary b) => (a -> b -> r) -> Gen r

    massiv-test Test.Massiv.Utils

    Apply a binary function to random arguments.

Page 60 of many | Previous | Next