Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. type family ListProduct (w :: [Type]) = (r :: Type) | r -> w

   witness	Data.Type.Witness.Specific.List.Product

   No documentation available.

2. data ListProductType (wit :: Type -> Type) t

   witness	Data.Type.Witness.Specific.List.Product

   No documentation available.

3. type family ListSum (w :: [Type]) = (r :: Type) | r -> w

   witness	Data.Type.Witness.Specific.List.Sum

   No documentation available.

4. data ListSumType (wit :: Type -> Type) t

   witness	Data.Type.Witness.Specific.List.Sum

   No documentation available.

5. data ListSpec spec

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

   Specification for list generation.

   >>> runFresh (fresh (ListSpec 0 2 ())) "c" :: Union [SymBool]
   {If c@2 [] (If c@3 [c@1] [c@0,c@1])}
   

   >>> runFresh (fresh (ListSpec 0 2 (SimpleListSpec 1 ()))) "c" :: Union [[SymBool]]
   {If c@2 [] (If c@3 [[c@1]] [[c@0],[c@1]])}
   

6. ListSpec :: Int -> Int -> spec -> ListSpec spec

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

   No documentation available.

7. type ListMultimap = Multimap []

   more-containers	Data.Multimap

   A multimap with list values. Note that lists do not support efficient appends or sizing, so several multimap operations will have higher complexity than for other collections. If performance is a concern, consider using a SeqMultimap instead. See Data.Multimap.List for operations specific to this type.

8. type ListMultimap = Multimap []

   more-containers	Data.Multimap.List

   A multimap with list values. Note that lists do not support efficient appends or sizing, so several multimap operations will have higher complexity than for other collections. If performance is a concern, consider using a SeqMultimap instead. See Data.Multimap.List for operations specific to this type.

9. class ListToLengthL (n :: Natural)

   ranged-list	Data.List.Length

   No documentation available.

10. class ListToLengthR (n :: Natural)

    ranged-list	Data.List.Length

    No documentation available.

Page 15 of many | Previous | Next