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.
-
This module exports the basic definitions to use singletons. See also Prelude.Singletons from the singletons-base library, which re-exports this module alongside many singled definitions based on the Prelude. You may also want to read the original papers presenting this library, available at https://richarde.dev/papers/2012/singletons/paper.pdf and https://richarde.dev/papers/2014/promotion/promotion.pdf.
module Control.Applicative.
Singletons Defines the promoted and singled versions of the Applicative type class.
module Control.Monad.Fail.
Singletons Defines the promoted and singled versions of the MonadFail type class.
module Control.Monad.
Singletons Defines the promoted and singled versions of the Monad type class.
module Control.Monad.Zip.
Singletons Defines the promoted and singled versions of the MonadZip type class.
-
Defines functions and datatypes relating to the singleton for Bool, including singled versions of all the definitions in Data.Bool. 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.Bool. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.
-
Defines functions and datatypes relating to the singleton for Either, including singled versions of all the definitions in Data.Either. 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.Either. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.
-
Defines the promoted version of Eq, PEq, and the singleton version, SEq. Also defines the DefaultEq type family, which is useful for implementing boolean equality for non-inductively defined data types.
module Data.Foldable.
Singletons Defines the promoted and singled versions of the Foldable type class.
module Data.Function.
Singletons Defines singleton versions of the definitions in Data.Function. 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.Function. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.