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. class PEq a

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

2. SEQ :: SOrdering 'EQ

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

3. class SEq a

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

4. promoteEqInstance :: OptionsMonad q => Name -> q [Dec]

   singletons-base	Data.Singletons.Base.TH

   Produce an instance for PEq from the given type

5. promoteEqInstances :: OptionsMonad q => [Name] -> q [Dec]

   singletons-base	Data.Singletons.Base.TH

   Produce instances for PEq from the given types

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. singEqInstance :: OptionsMonad q => Name -> q [Dec]

   singletons-base	Data.Singletons.Base.TH

   Create instance of SEq for the given type

9. singEqInstances :: OptionsMonad q => [Name] -> q [Dec]

   singletons-base	Data.Singletons.Base.TH

   Create instances of SEq for the given types

10. data SequenceASym0 (a1 :: TyFun t f a f t a)

    singletons-base	Data.Traversable.Singletons

    No documentation available.

Page 319 of many | Previous | Next