Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. CryptoError_SaltTooSmall :: CryptoError

   crypton	Crypto.Error

   No documentation available.

2. type Parallelism = Word32

   crypton	Crypto.KDF.Argon2

   A parallelism degree, which defines the number of parallel threads. ARGON2_MIN_LANES <= hashParallelism <= ARGON2_MAX_LANES && ARGON_MIN_THREADS <= hashParallelism <= ARGON2_MAX_THREADS

3. parallelism :: Options -> !Parallelism

   crypton	Crypto.KDF.Argon2

   No documentation available.

4. genValidStructurally :: (Validity a, Generic a, GGenValid (Rep a)) => Gen a

   genvalidity	Data.GenValidity

   Generate a valid value by generating all the sub parts using the Generic instance, and trying that until a valid value has been generated

   genValidStructurally = genValidStructurallyWithoutExtraChecking `suchThat` isValid
   

   This is probably the function that you are looking for. If you do use this function to override genValid, you probably also want to use shrinkValidStructurally to override shrinkValid.

5. genValidStructurallyWithoutExtraChecking :: (Generic a, GGenValid (Rep a)) => Gen a

   genvalidity	Data.GenValidity

   Generate a valid value by generating all the sub parts using the Generic instance, This generator is _not_ guaranteed to generate a valid value. This is probably _not_ the function that you are looking for when overriding genValid _unless_ the type in question has no _extra_ validity constraints on top of the validity of its sub parts.

6. shrinkValidStructurally :: (Validity a, Generic a, GValidRecursivelyShrink (Rep a), GValidSubterms (Rep a) a) => a -> [a]

   genvalidity	Data.GenValidity

   Shrink a term to any of its immediate valid subterms, and also recursively shrink all subterms, and then filtering out the results that are not valid.

   shrinkValidStructurally = filter isValid . shrinkValidStructurallyWithoutExtraFiltering
   

   This is probably the function that you are looking for.

7. shrinkValidStructurallyWithoutExtraFiltering :: (Generic a, GValidRecursivelyShrink (Rep a), GValidSubterms (Rep a) a) => a -> [a]

   genvalidity	Data.GenValidity

   Shrink a term to any of its immediate valid subterms, and also recursively shrink all subterms. This shrinking function is _not_ guaranteed to shrink to valid values. This is probably _not_ the function that you are looking for when overriding shrinkValid _unless_ the type in question has no _extra_ validity constraints on top of the validity of its sub parts.

8. structurallyValidSubterms :: (Generic a, GValidSubterms (Rep a) a) => a -> [a]

   genvalidity	Data.GenValidity

   All immediate validSubterms of a term.

9. shapeInstalledPackage :: InstalledPackageInfo -> ModuleShape

   Cabal	Distribution.Backpack.ModuleShape

   No documentation available.

10. data CallStack

    Cabal	Distribution.Compat.Stack

    No documentation available.

Page 230 of many | Previous | Next