Hoogle Search
Within LTS Haskell 24.23 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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.
module Data.Functor.Compose.
Singletons Exports the promoted and singled versions of the Compose data type.
module Data.Functor.Const.
Singletons Exports the promoted and singled versions of the Const data type.