Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. type family Sequence_ (a1 :: t m a) :: m ()

   singletons-base	Data.Foldable.Singletons

   No documentation available.

2. data Sequence_Sym0 (a1 :: TyFun t m a m ())

   singletons-base	Data.Foldable.Singletons

   No documentation available.

3. type family Sequence_Sym1 (a6989586621680407148 :: t m a) :: m ()

   singletons-base	Data.Foldable.Singletons

   No documentation available.

4. sSequenceA_ :: forall (t1 :: Type -> Type) (f :: Type -> Type) a (t2 :: t1 (f a)) . (SFoldable t1, SApplicative f) => Sing t2 -> Sing (Apply (SequenceA_Sym0 :: TyFun (t1 (f a)) (f ()) -> Type) t2)

   singletons-base	Data.Foldable.Singletons

   No documentation available.

5. sSequence_ :: forall (t1 :: Type -> Type) (m :: Type -> Type) a (t2 :: t1 (m a)) . (SFoldable t1, SMonad m) => Sing t2 -> Sing (Apply (Sequence_Sym0 :: TyFun (t1 (m a)) (m ()) -> Type) t2)

   singletons-base	Data.Foldable.Singletons

   No documentation available.

6. type family Subsequences (a1 :: [a]) :: [[a]]

   singletons-base	Data.List.Singletons

   No documentation available.

7. data SubsequencesSym0 (a1 :: TyFun [a] [[a]])

   singletons-base	Data.List.Singletons

   No documentation available.

8. type family SubsequencesSym1 (a6989586621679828076 :: [a]) :: [[a]]

   singletons-base	Data.List.Singletons

   No documentation available.

9. sSubsequences :: forall a (t :: [a]) . Sing t -> Sing (Apply (SubsequencesSym0 :: TyFun [a] [[a]] -> Type) t)

   singletons-base	Data.List.Singletons

   No documentation available.

10. SEQ :: SOrdering 'EQ

    singletons-base	Data.Ord.Singletons

    No documentation available.

Page 318 of many | Previous | Next