Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

  1. module Documentation.SBV.Examples.Misc.Enumerate

    Demonstrates how enumerations can be translated to their SMT-Lib counterparts, without losing any information content. Also see Documentation.SBV.Examples.Puzzles.U2Bridge for a more detailed example involving enumerations.

  2. module Documentation.SBV.Examples.Optimization.Enumerate

    Demonstrates how enumerations can be used with optimization, by properly defining your metric values.

  3. module Documentation.SBV.Examples.Queries.Enums

    Demonstrates the use of enumeration values during queries.

  4. class Enum a => Enumerable a

    streamly-core Streamly.Data.Stream

    Types that can be enumerated as a stream. The operations in this type class are equivalent to those in the Enum type class, except that these generate a stream instead of a list. Use the functions in Streamly.Internal.Data.Stream.Enumeration module to define new instances.

  5. class Enum a => Enumerable a

    streamly-core Streamly.Data.Unfold

    Types that can be enumerated as a stream. The operations in this type class are equivalent to those in the Enum type class, except that these generate a stream instead of a list. Use the functions in Streamly.Internal.Data.Unfold.Enumeration module to define new instances. Pre-release

  6. class Enum a => Enumerable a

    streamly-core Streamly.Internal.Data.Stream

    Types that can be enumerated as a stream. The operations in this type class are equivalent to those in the Enum type class, except that these generate a stream instead of a list. Use the functions in Streamly.Internal.Data.Stream.Enumeration module to define new instances.

  7. class Enum a => Enumerable a

    streamly-core Streamly.Internal.Data.Unfold

    Types that can be enumerated as a stream. The operations in this type class are equivalent to those in the Enum type class, except that these generate a stream instead of a list. Use the functions in Streamly.Internal.Data.Unfold.Enumeration module to define new instances. Pre-release

  8. class Typeable a => Enumerable a

    testing-feat Test.Feat

    No documentation available.

  9. data Enumerate a

    testing-feat Test.Feat

    A functional enumeration of type t is a partition of t into finite numbered sets. Each part contains values of a certain cost (typically the size of the value).

  10. class Typeable a => Enumerable a

    testing-feat Test.Feat.Class

    No documentation available.

Page 25 of many | Previous | Next