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. module Data.Ord.Singletons

   Defines the promoted version of Ord, POrd, and the singleton version, SOrd.

2. module Data.Proxy.Singletons

   Exports promoted and singled versions of the definitions in Data.Proxy.

3. module Data.Semigroup.Singletons

   Defines the promoted version of Semigroup, PSemigroup, and the singleton version, SSemigroup.

4. module Data.String.Singletons

   Defines and exports a promoted and singled version of the IsString type class from Data.String.

5. module Data.Traversable.Singletons

   Defines the promoted and singled versions of the Traversable type class.

6. module Data.Tuple.Singletons

   Defines functions and datatypes relating to the singleton for tuples, including singled versions of all the definitions in Data.Tuple. Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Please look up the corresponding operation in Data.Tuple. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

7. module Data.Void.Singletons

   Defines functions and datatypes relating to the singleton for Void, including singled versions of all the definitions in Data.Void. Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Please look up the corresponding operation in Data.Void. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

8. module GHC.TypeLits.Singletons

   Defines and exports singletons useful for the Natural, Symbol, and Char kinds.

9. module Prelude.Singletons

   Mimics the Haskell Prelude, but with singleton types. Includes the basic singleton definitions. Note: This is currently very incomplete! Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

10. module Text.Show.Singletons

    Defines the SShow singleton version of the Show type class.

Page 52 of many | Previous | Next