Hoogle Search

Within LTS Haskell 24.13 (ghc-9.10.3)

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

Exact lookup

1. 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 @[]
   

2. applicativeSpecOnGens :: forall f a b c . (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-sydtest	Test.Syd.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"
   

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

   genvalidity-sydtest	Test.Syd.Validity.Applicative

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

   applicativeSpecOnArbitrary @[]
   

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

   genvalidity-sydtest	Test.Syd.Validity.Applicative

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

   applicativeSpecOnArbitrary @[]
   

5. applicativeSpecOnGens :: forall f a b c . (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-sydtest	Test.Syd.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"
   

6. applicativeChainE :: Exp -> [Exp] -> Exp

   th-lego	THLego.Helpers

   No documentation available.

7. applicativeClassKey :: Unique

   ghc-lib-parser	GHC.Builtin.Names

   No documentation available.

8. applicativeClassName :: Name

   ghc-lib-parser	GHC.Builtin.Names

   No documentation available.

9. applicativeMorphism :: (Applicative f, Applicative g, Show (f NumT), Arbitrary (f NumT), EqProp (g NumT), EqProp (g T), Show (f (NumT -> T)), Arbitrary (f (NumT -> T))) => (forall a . () => f a -> g a) -> TestBatch

   checkers	Test.QuickCheck.Classes

   Applicative morphism properties

10. package optparse-applicative

    Utilities and combinators for parsing command line options optparse-applicative is a haskell library for parsing options on the command line, and providing a powerful applicative interface for composing them. optparse-applicative takes care of reading and validating the arguments passed to the command line, handling and reporting errors, generating a usage line, a comprehensive help screen, and enabling context-sensitive bash, zsh, and fish completions. See the included README for detailed instructions and examples, which is also available on github https://github.com/pcapriotti/optparse-applicative.

Page 11 of many | Previous | Next