Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

1. promoteEnumInstance :: OptionsMonad q => Name -> q [Dec]

   singletons-base	Data.Singletons.Base.TH

   Produce an instance for PEnum from the given type

2. promoteEnumInstances :: OptionsMonad q => [Name] -> q [Dec]

   singletons-base	Data.Singletons.Base.TH

   Produce instances for PEnum from the given types

3. sFromEnum :: forall (t :: a) . SEnum a => Sing t -> Sing (Apply (FromEnumSym0 :: TyFun a Natural -> Type) t)

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

4. sToEnum :: forall (t :: Natural) . SEnum a => Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural a -> Type) t)

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

5. singEnumInstance :: OptionsMonad q => Name -> q [Dec]

   singletons-base	Data.Singletons.Base.TH

   Create instance of SEnum for the given type

6. singEnumInstances :: OptionsMonad q => [Name] -> q [Dec]

   singletons-base	Data.Singletons.Base.TH

   Create instances of SEnum for the given types

7. data FromEnumSym0 (a1 :: TyFun a Natural)

   singletons-base	Prelude.Singletons

   No documentation available.

8. type family FromEnumSym1 (a6989586621679621653 :: a) :: Natural

   singletons-base	Prelude.Singletons

   No documentation available.

9. class PEnum a

   singletons-base	Prelude.Singletons

   No documentation available.

10. class SEnum a

    singletons-base	Prelude.Singletons

    No documentation available.

Page 126 of many | Previous | Next