Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

Exact lookup

1. 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.

2. 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.

3. 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.

4. 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.

5. 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.

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

   rainbow	Rainbow.Translate

   No documentation available.

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

   rainbow	Rainbow.Translate

   No documentation available.

8. foreBlue :: [ByteString] -> [ByteString]

   rainbow	Rainbow.Translate

   No documentation available.

9. foreColor8 :: Enum8 -> [ByteString] -> [ByteString]

   rainbow	Rainbow.Translate

   No documentation available.

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

    rainbow	Rainbow.Translate

    No documentation available.

Page 182 of many | Previous | Next