Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. throwMonoidT :: forall (m :: Type -> Type) a e . (Monad m, Monoid a) => e -> ExceptionalT e m a

   explicit-exception	Control.Monad.Exception.Asynchronous.Strict

   No documentation available.

2. manyMonoidT :: forall (m :: Type -> Type) a e0 e1 . (Monad m, Monoid a) => (e0 -> Maybe e1) -> ExceptionalT e0 m a -> ExceptionalT e1 m a

   explicit-exception	Control.Monad.Exception.Synchronous

   No documentation available.

3. DecidedLazy :: DecidedStrictness

   generics-sop	Generics.SOP.Metadata

   No documentation available.

4. DecidedStrict :: DecidedStrictness

   generics-sop	Generics.SOP.Metadata

   No documentation available.

5. data DecidedStrictness

   generics-sop	Generics.SOP.Metadata

   The strictness that GHC infers for a field during compilation. Whereas there are nine different combinations of SourceUnpackedness and SourceStrictness, the strictness that GHC decides will ultimately be one of lazy, strict, or unpacked. What GHC decides is affected both by what the user writes in the source code and by GHC flags. As an example, consider this data type:

   data E = ExampleConstructor {-# UNPACK #-} !Int !Int Int
   

   • If compiled without optimization or other language extensions, then the fields of ExampleConstructor will have DecidedStrict, DecidedStrict, and DecidedLazy, respectively.
   • If compiled with -XStrictData enabled, then the fields will have DecidedStrict, DecidedStrict, and DecidedStrict, respectively.
   • If compiled with -O2 enabled, then the fields will have DecidedUnpack, DecidedStrict, and DecidedLazy, respectively.

6. DecidedUnpack :: DecidedStrictness

   generics-sop	Generics.SOP.Metadata

   No documentation available.

7. class DemoteDecidedStrictness (a :: DecidedStrictness)

   generics-sop	Generics.SOP.Type.Metadata

   Class for computing term-level decided strictness information from type-level decided strictness information.

8. demoteDecidedStrictness :: DemoteDecidedStrictness a => proxy a -> DecidedStrictness

   generics-sop	Generics.SOP.Type.Metadata

   Given a proxy of some type-level source strictness information, return the corresponding term-level information.

9. package genvalidity-criterion

   Criterion benchmarks for generators Criterion benchmarks for generators

10. genValidBench :: (Typeable a, NFData a, GenValid a) => Benchmark

    genvalidity-criterion	Data.GenValidity.Criterion

    Benchmarks for both genValid

Page 681 of many | Previous | Next