Hoogle Search

Within LTS Haskell 24.48 (ghc-9.10.3)

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

  1. forAllQ :: Quantifiable q => q -> DL s (Quantifies q)

    quickcheck-dynamic Test.QuickCheck.DynamicLogic

    Generate a random value using the given Quantification (or list/tuple of quantifications). Generated values will only shrink to smaller values that could also have been generated.

  2. forAllUniqueDL :: (DynLogicModel s, Testable a) => Annotated s -> DL s () -> (Actions s -> a) -> Property

    quickcheck-dynamic Test.QuickCheck.DynamicLogic

    No documentation available.

  3. forAllVar :: Typeable a => DL s (Var a)

    quickcheck-dynamic Test.QuickCheck.DynamicLogic

    No documentation available.

  4. forAllMappedScripts :: (DynLogicModel s, Testable a) => (rep -> DynLogicTest s) -> (DynLogicTest s -> rep) -> DynFormula s -> (Actions s -> a) -> Property

    quickcheck-dynamic Test.QuickCheck.DynamicLogic.Internal

    Creates a Property from DynFormula with some specialised isomorphism for shrinking purpose.

  5. forAllQ :: Quantifiable q => q -> (Quantifies q -> DynFormula s) -> DynFormula s

    quickcheck-dynamic Test.QuickCheck.DynamicLogic.Internal

    First-order quantification of variables. Formula f is True iff. it is True for all possible values of q. The underlying framework will generate values of q and check the formula holds for those values. Quantifiable values are thus values that can be generated and checked and the Quantify module defines basic combinators to build those from building blocks.

  6. forAllScripts :: (DynLogicModel s, Testable a) => DynFormula s -> (Actions s -> a) -> Property

    quickcheck-dynamic Test.QuickCheck.DynamicLogic.Internal

    Simplest "execution" function for DynFormula. Turns a given a DynFormula paired with an interpreter function to produce some result from an Actions sequence into a proper Property that can be run by QuickCheck.

  7. forAllUniqueScripts :: (DynLogicModel s, Testable a) => Annotated s -> DynFormula s -> (Actions s -> a) -> Property

    quickcheck-dynamic Test.QuickCheck.DynamicLogic.Internal

    Property function suitable for formulae without choice.

  8. fore :: Radiant -> Chunk -> Chunk

    rainbow Rainbow

    Change the foreground color. Whether this affects 8-color terminals, 256-color terminals, or both depends on the Radiant.

  9. fore256 :: Word8 -> [ByteString] -> [ByteString]

    rainbow Rainbow.Translate

    No documentation available.

  10. foreBlack :: [ByteString] -> [ByteString]

    rainbow Rainbow.Translate

    No documentation available.

Page 182 of many | Previous | Next