Hoogle Search

Within LTS Haskell 24.62 (ghc-9.10.3)

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

Exact lookup

1. data SimpleListSpec spec

   grisette	Grisette.Internal.Core.Data.Class.GenSym

   Specification for list generation of a specific length.

   >>> runFresh (simpleFresh (SimpleListSpec 2 ())) "c" :: [SymBool]
   [c@0,c@1]
   

2. SimpleListSpec :: Int -> spec -> SimpleListSpec spec

   grisette	Grisette.Internal.Core.Data.Class.GenSym

   No documentation available.

3. genListMaxLength :: ListSpec spec -> Int

   grisette	Grisette.Internal.Core.Data.Class.GenSym

   The maximum length of the generated lists

4. genListMinLength :: ListSpec spec -> Int

   grisette	Grisette.Internal.Core.Data.Class.GenSym

   The minimum length of the generated lists

5. genListSubSpec :: ListSpec spec -> spec

   grisette	Grisette.Internal.Core.Data.Class.GenSym

   Each element in the lists will be generated with the sub-specification

6. genSimpleListLength :: SimpleListSpec spec -> Int

   grisette	Grisette.Internal.Core.Data.Class.GenSym

   The length of the generated list

7. genSimpleListSubSpec :: SimpleListSpec spec -> spec

   grisette	Grisette.Internal.Core.Data.Class.GenSym

   Each element in the list will be generated with the sub-specification

8. data StrategyList (container :: Type -> Type)

   grisette	Grisette.Internal.Core.Data.Class.Mergeable

   Helper type for building efficient merge strategy for list-like containers.

9. StrategyList :: forall a (container :: Type -> Type) . container [DynamicSortedIdx] -> container (MergingStrategy a) -> StrategyList container

   grisette	Grisette.Internal.Core.Data.Class.Mergeable

   No documentation available.

10. buildStrategyList :: forall a container . Functor container => MergingStrategy a -> container a -> StrategyList container

    grisette	Grisette.Internal.Core.Data.Class.Mergeable

    Helper function for building efficient merge strategy for list-like containers.

Page 199 of many | Previous | Next