Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. type family MsumSym1 (a6989586621680407136 :: t m a) :: m a

   singletons-base	Control.Monad.Singletons

   No documentation available.

2. sMsum :: forall (t1 :: Type -> Type) (m :: Type -> Type) a (t2 :: t1 (m a)) . (SFoldable t1, SMonadPlus m) => Sing t2 -> Sing (Apply (MsumSym0 :: TyFun (t1 (m a)) (m a) -> Type) t2)

   singletons-base	Control.Monad.Singletons

   No documentation available.

3. type family Asum (a1 :: t f a) :: f a

   singletons-base	Data.Foldable.Singletons

   No documentation available.

4. data AsumSym0 (a1 :: TyFun t f a f a)

   singletons-base	Data.Foldable.Singletons

   No documentation available.

5. type family AsumSym1 (a6989586621680407142 :: t f a) :: f a

   singletons-base	Data.Foldable.Singletons

   No documentation available.

6. type family Msum (a1 :: t m a) :: m a

   singletons-base	Data.Foldable.Singletons

   No documentation available.

7. data MsumSym0 (a1 :: TyFun t m a m a)

   singletons-base	Data.Foldable.Singletons

   No documentation available.

8. type family MsumSym1 (a6989586621680407136 :: t m a) :: m a

   singletons-base	Data.Foldable.Singletons

   No documentation available.

9. sAsum :: forall (t1 :: Type -> Type) (f :: Type -> Type) a (t2 :: t1 (f a)) . (SFoldable t1, SAlternative f) => Sing t2 -> Sing (Apply (AsumSym0 :: TyFun (t1 (f a)) (f a) -> Type) t2)

   singletons-base	Data.Foldable.Singletons

   No documentation available.

10. sMsum :: forall (t1 :: Type -> Type) (m :: Type -> Type) a (t2 :: t1 (m a)) . (SFoldable t1, SMonadPlus m) => Sing t2 -> Sing (Apply (MsumSym0 :: TyFun (t1 (m a)) (m a) -> Type) t2)

    singletons-base	Data.Foldable.Singletons

    No documentation available.

Page 118 of many | Previous | Next