Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. class SEnum a

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

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

   singletons-base	Data.Singletons.Base.TH

   Produce an instance for PEnum from the given type

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

   singletons-base	Data.Singletons.Base.TH

   Produce instances for PEnum from the given types

4. 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.

5. 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.

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

   singletons-base	Data.Singletons.Base.TH

   Create instance of SEnum for the given type

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

   singletons-base	Data.Singletons.Base.TH

   Create instances of SEnum for the given types

8. data EnumFromThenToSym0 (a1 :: TyFun a a ~> a ~> [a])

   singletons-base	Prelude.Singletons

   No documentation available.

9. data EnumFromThenToSym1 (a6989586621679621663 :: a) (b :: TyFun a a ~> [a])

   singletons-base	Prelude.Singletons

   No documentation available.

10. data EnumFromThenToSym2 (a6989586621679621663 :: a) (a6989586621679621664 :: a) (c :: TyFun a [a])

    singletons-base	Prelude.Singletons

    No documentation available.

Page 224 of many | Previous | Next