Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

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

   singletons-base	Data.Singletons.Base.TH

   Create instance of SEnum for the given type

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

   singletons-base	Data.Singletons.Base.TH

   Create instances of SEnum for the given types

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

   singletons-base	Prelude.Singletons

   No documentation available.

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

   singletons-base	Prelude.Singletons

   No documentation available.

5. class PEnum a

   singletons-base	Prelude.Singletons

   No documentation available.

6. class SEnum a

   singletons-base	Prelude.Singletons

   No documentation available.

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

   singletons-base	Prelude.Singletons

   No documentation available.

8. type family ToEnumSym1 (a6989586621679621650 :: Natural) :: a

   singletons-base	Prelude.Singletons

   No documentation available.

9. sEnumFromThenTo :: forall (t1 :: a) (t2 :: a) (t3 :: a) . SEnum a => Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type) t1) t2) t3)

   singletons-base	Prelude.Singletons

   No documentation available.

10. sEnumFromTo :: forall (t1 :: a) (t2 :: a) . SEnum a => Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type) t1) t2)

    singletons-base	Prelude.Singletons

    No documentation available.

Page 126 of many | Previous | Next