Hoogle Search
Within LTS Haskell 24.64 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
DecidedLazy :: DecidedStrictnessgenerics-sop Generics.SOP.Metadata No documentation available.
DecidedStrict :: DecidedStrictnessgenerics-sop Generics.SOP.Metadata No documentation available.
-
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.
DecidedUnpack :: DecidedStrictnessgenerics-sop Generics.SOP.Metadata No documentation available.
class
DemoteDecidedStrictness (a :: DecidedStrictness)generics-sop Generics.SOP.Type.Metadata Class for computing term-level decided strictness information from type-level decided strictness information.
demoteDecidedStrictness :: DemoteDecidedStrictness a => proxy a -> DecidedStrictnessgenerics-sop Generics.SOP.Type.Metadata Given a proxy of some type-level source strictness information, return the corresponding term-level information.
-
Criterion benchmarks for generators Criterion benchmarks for generators
genValidBench :: (Typeable a, NFData a, GenValid a) => Benchmarkgenvalidity-criterion Data.GenValidity.Criterion Benchmarks for both genValid
shrinkValidBench :: (Typeable a, NFData a, GenValid a) => Benchmarkgenvalidity-criterion Data.GenValidity.Criterion Benchmark for the time it takes to shrink to the first ten shrunk versions using shrinkValid and a vector of 100 deterministically generated values.
ValidInstance :: String -> String -> Notehlint Language.Haskell.HLint The replacement assumes standard type class lemmas, a hint with the note ValidInstance "Eq" "x" might only be valid if the x variable has a reflexive Eq instance.