Hoogle Search

Within LTS Haskell 24.19 (ghc-9.10.3)

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

Exact lookup

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

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

   singletons-base	Data.List.Singletons

   No documentation available.

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

   singletons-base	Data.List.Singletons

   No documentation available.

4. type family SubsequencesSym1 (a6989586621679828077 :: [a]) :: [[a]]

   singletons-base	Data.List.Singletons

   No documentation available.

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

   singletons-base	Data.List.Singletons

   No documentation available.

6. sSequence :: forall (m :: Type -> Type) a (t1 :: t (m a)) . (STraversable t, SMonad m) => Sing t1 -> Sing (Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) t1)

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

7. sSequenceA :: forall (f :: Type -> Type) a (t1 :: t (f a)) . (STraversable t, SApplicative f) => Sing t1 -> Sing (Apply (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type) t1)

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

8. sSequence :: forall (m :: Type -> Type) a (t1 :: t (m a)) . (STraversable t, SMonad m) => Sing t1 -> Sing (Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) t1)

   singletons-base	Data.Traversable.Singletons

   No documentation available.

9. sSequenceA :: forall (f :: Type -> Type) a (t1 :: t (f a)) . (STraversable t, SApplicative f) => Sing t1 -> Sing (Apply (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type) t1)

   singletons-base	Data.Traversable.Singletons

   No documentation available.

10. sSequence :: forall (m :: Type -> Type) a (t1 :: t (m a)) . (STraversable t, SMonad m) => Sing t1 -> Sing (Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) t1)

    singletons-base	Prelude.Singletons

    No documentation available.

Page 56 of many | Previous | Next