Hoogle Search

Within LTS Haskell 24.25 (ghc-9.10.3)

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

Exact lookup

1. type family XXApplicativeArg x

   ghc-lib-parser	GHC.Hs.Expr

   No documentation available.

2. class ProductIsoFunctor f => ProductIsoApplicative (f :: Type -> Type)

   product-isomorphic	Data.Functor.ProductIsomorphic.Class

   Restricted applicative functor on products.

3. liftApplicative :: Applicative f => (f a -> f b) -> f (T a) -> f (T b)

   sample-frame	Sound.Frame.Stereo

   No documentation available.

4. monadApplicative :: (Monad m, EqProp (m a), EqProp (m b), Show a, Arbitrary a, Show (m a), Arbitrary (m a), Show (m (a -> b)), Arbitrary (m (a -> b))) => m (a, b) -> TestBatch

   checkers	Test.QuickCheck.Classes

   Note that monad also contains these properties.

5. semanticApplicative :: forall f (g :: Type -> Type) . (Model1 f g, Applicative f, Applicative g, Arbitrary (f NumT), Arbitrary (f (NumT -> T)), EqProp (g NumT), EqProp (g T), Show (f NumT), Show (f (NumT -> T))) => f () -> TestBatch

   checkers	Test.QuickCheck.Classes

   The semantic function (model1) for f is an applicativeMorphism.

6. NoApplicativeDo :: Extension

   hint	Language.Haskell.Interpreter

   No documentation available.

7. NoApplicativeDo :: Extension

   hint	Language.Haskell.Interpreter.Extension

   No documentation available.

8. module Rebase.Data.Biapplicative

   No documentation available.

9. WrapApplicative :: f a -> WrappedApplicative (f :: Type -> Type) a

   rebase	Rebase.Prelude

   No documentation available.

10. newtype WrappedApplicative (f :: Type -> Type) a

    rebase	Rebase.Prelude

    Wrap an Applicative to be used as a member of Apply

Page 16 of many | Previous | Next