Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

Exact lookup

1. pMapToList :: forall (c :: Type -> Type) v . Foldable c => PMap c v -> [(Text, v)]

   greskell	Data.Greskell.PMap

   List up all entries.

2. 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]
   

3. SimpleListSpec :: Int -> spec -> SimpleListSpec spec

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

   No documentation available.

4. genListMaxLength :: ListSpec spec -> Int

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

   The maximum length of the generated lists

5. genListMinLength :: ListSpec spec -> Int

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

   The minimum length of the generated lists

6. genListSubSpec :: ListSpec spec -> spec

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

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

7. genSimpleListLength :: SimpleListSpec spec -> Int

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

   The length of the generated list

8. genSimpleListSubSpec :: SimpleListSpec spec -> spec

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

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

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

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

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

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

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

    No documentation available.

Page 198 of many | Previous | Next