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.

  1. class PEnum a

    singletons-base Data.Singletons.Base.Enum

    No documentation available.

  2. class SEnum a

    singletons-base Data.Singletons.Base.Enum

    No documentation available.

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

    singletons-base Data.Singletons.Base.Enum

    No documentation available.

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

    singletons-base Data.Singletons.Base.Enum

    No documentation available.

  5. 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 Data.Singletons.Base.Enum

    No documentation available.

  6. 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 Data.Singletons.Base.Enum

    No documentation available.

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

    singletons-base Data.Singletons.Base.Enum

    No documentation available.

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

    singletons-base Data.Singletons.Base.Enum

    No documentation available.

  9. class PEnum a

    singletons-base Data.Singletons.Base.TH

    No documentation available.

  10. class SEnum a

    singletons-base Data.Singletons.Base.TH

    No documentation available.

Page 125 of many | Previous | Next