Hoogle Search

Within LTS Haskell 24.24 (ghc-9.10.3)

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

Exact lookup

1. applicativeClassKey :: Unique

   ghc	GHC.Builtin.Names

   No documentation available.

2. applicativeClassName :: Name

   ghc	GHC.Builtin.Names

   No documentation available.

3. applicativeSpec :: forall (f :: Type -> Type) . (HasCallStack, Eq (f Int), Show (f Int), Applicative f, Typeable f, GenValid (f Int)) => Spec

   genvalidity-hspec	Test.Validity

   Standard test spec for properties of Applicative instances for values generated with GenValid instances Example usage:

   applicativeSpecOnArbitrary @[]
   

4. applicativeSpecOnArbitrary :: forall (f :: Type -> Type) . (HasCallStack, Eq (f Int), Show (f Int), Applicative f, Typeable f, Arbitrary (f Int)) => Spec

   genvalidity-hspec	Test.Validity

   Standard test spec for properties of Applicative instances for values generated with Arbitrary instances Example usage:

   applicativeSpecOnArbitrary @[]
   

5. applicativeSpecOnGens :: forall f a b c . (HasCallStack, Show a, Show (f a), Eq (f a), Show (f b), Eq (f b), Show (f c), Eq (f c), Applicative f, Typeable f, Typeable a, Typeable b, Typeable c) => Gen a -> String -> Gen (f a) -> String -> Gen (f b) -> String -> Gen (a -> b) -> String -> Gen (f (a -> b)) -> String -> Gen (f (b -> c)) -> String -> Spec

   genvalidity-hspec	Test.Validity

   Standard test spec for properties of Applicative instances for values generated by given generators (and names for those generator). Unless you are building a specific regression test, you probably want to use the other applicativeSpec functions. Example usage:

   applicativeSpecOnGens
   @Maybe
   @String
   (pure "ABC")
   "ABC"
   (Just <$> pure "ABC")
   "Just an ABC"
   (pure Nothing)
   "purely Nothing"
   ((++) <$> genValid)
   "prepends"
   (pure <$> ((++) <$> genValid))
   "prepends in a Just"
   (pure <$> (flip (++) <$> genValid))
   "appends in a Just"
   

6. applicativeSpec :: forall (f :: Type -> Type) . (HasCallStack, Eq (f Int), Show (f Int), Applicative f, Typeable f, GenValid (f Int)) => Spec

   genvalidity-hspec	Test.Validity.Applicative

   Standard test spec for properties of Applicative instances for values generated with GenValid instances Example usage:

   applicativeSpecOnArbitrary @[]
   

7. applicativeSpecOnArbitrary :: forall (f :: Type -> Type) . (HasCallStack, Eq (f Int), Show (f Int), Applicative f, Typeable f, Arbitrary (f Int)) => Spec

   genvalidity-hspec	Test.Validity.Applicative

   Standard test spec for properties of Applicative instances for values generated with Arbitrary instances Example usage:

   applicativeSpecOnArbitrary @[]
   

8. applicativeSpecOnGens :: forall f a b c . (HasCallStack, Show a, Show (f a), Eq (f a), Show (f b), Eq (f b), Show (f c), Eq (f c), Applicative f, Typeable f, Typeable a, Typeable b, Typeable c) => Gen a -> String -> Gen (f a) -> String -> Gen (f b) -> String -> Gen (a -> b) -> String -> Gen (f (a -> b)) -> String -> Gen (f (b -> c)) -> String -> Spec

   genvalidity-hspec	Test.Validity.Applicative

   Standard test spec for properties of Applicative instances for values generated by given generators (and names for those generator). Unless you are building a specific regression test, you probably want to use the other applicativeSpec functions. Example usage:

   applicativeSpecOnGens
   @Maybe
   @String
   (pure "ABC")
   "ABC"
   (Just <$> pure "ABC")
   "Just an ABC"
   (pure Nothing)
   "purely Nothing"
   ((++) <$> genValid)
   "prepends"
   (pure <$> ((++) <$> genValid))
   "prepends in a Just"
   (pure <$> (flip (++) <$> genValid))
   "appends in a Just"
   

9. applicativeSpec :: forall (f :: Type -> Type) . (Eq (f Int), Show (f Int), Applicative f, Typeable f, GenValid (f Int)) => Spec

   genvalidity-sydtest	Test.Syd.Validity

   Standard test spec for properties of Applicative instances for values generated with GenValid instances Example usage:

   applicativeSpecOnArbitrary @[]
   

10. applicativeSpecOnArbitrary :: forall (f :: Type -> Type) . (Eq (f Int), Show (f Int), Applicative f, Typeable f, Arbitrary (f Int)) => Spec

    genvalidity-sydtest	Test.Syd.Validity

    Standard test spec for properties of Applicative instances for values generated with Arbitrary instances Example usage:

    applicativeSpecOnArbitrary @[]
    

Page 10 of many | Previous | Next