test -package:hedgehog

Perform the "./setup test" action.

test :: Testable m a => a -> Property m

smallcheck Test.SmallCheck Test.SmallCheck.Drivers, tasty-smallcheck Test.Tasty.SmallCheck

sbv Documentation.SBV.Examples.Existentials.Diophantine

Solve the equation:

2x + y - z = 2

We have:

>>> test
(k, 2+k', 2k+k')
(1+k, k', 2k+k')

That is, for arbitrary k and k', we have two different solutions. (An infinite family.) You can verify these solutuions by substituting the values for x, y and z in the above, for each choice. It's harder to see that they cover all possibilities, but a moments thought reveals that is indeed the case.

test :: IO ThmResult

sbv Documentation.SBV.Examples.Uninterpreted.Deduce

Proves the equivalence NOT (p OR (q AND r)) == (NOT p AND NOT q) OR (NOT p AND NOT r), following from the axioms we have specified above. We have:

>>> test
Q.E.D.

test :: Testable a => a -> IO ()

lazysmallcheck Test.LazySmallCheck

test :: String -> (TestOptions -> IO TestResult) -> Test

chell Test.Chell

Define a test, with the given name and implementation.

test :: TextualMonoid s => s -> s -> Bool

fuzzy Text.Fuzzy

Returns false if the pattern and the text do not match at all. Returns true otherwise.

>>> test "brd" "bread"
True

test :: IO (Int -> IO ())

threepenny-gui Graphics.UI.Threepenny.Core Reactive.Threepenny

test :: Testable m => String -> m () -> Spec

skeletest Skeletest.Internal.Spec

test :: Enumerable a => (a -> Bool) -> IO [a]

testing-feat Test.Feat Test.Feat.Driver

Test with default options (defOptions). Returns a list of counterexamples

test :: IO ()

BiobaseNewick Biobase.Newick.StaticForest, dsp Numeric.Random.Generator.MT19937

test :: Bool

dsp DSP.Convolution DSP.Correlation DSP.Filter.FIR.FIR

test :: Int -> Double -> Double

dsp Numeric.Random.Distribution.Poisson

test :: Request -> IO (Maybe Status)

mpi-hs Control.Distributed.MPI

Check whether a communication has completed, and free the communication request if so (MPI_Test).

test :: Request a -> IO (Maybe (Status, a))

mpi-hs Control.Distributed.MPI.Storable, mpi-hs-binary Control.Distributed.MPI.Binary, mpi-hs-cereal Control.Distributed.MPI.Serialize

Check whether a communication has finished, and return the communication result if so.

test :: FilePath -> String -> Labeler Paragraph -> IO ()

debian Debian.Apt.Dependencies

test :: IO ()

monad-logger-extras Control.Monad.Logger.Extras

A handy test

test :: Monad m => Valor i m e -> Valor i m e -> (i -> m Bool) -> Valor i m e

valor Data.Valor

Apply one or the other validator depending on the result of a test.

Example

>>> let exV = test pass (fail "I'm a failure") (pure . (>3))

>>> validateP exV 3
Left (Valid 3)

>>> validateP exV 4
Right "I'm a failure"

test :: a -> Decision Bool OnBool a Bool

mappings Data.Mapping.Decision

Test if a variable is true (specialised to Bool)

test :: ProcessType r => r

shell-conduit Data.Conduit.Shell Data.Conduit.Shell.PATH

data Test

HUnit Test.HUnit.Base

The basic structure used to create an annotated tree of test cases.

data Test

test-framework Test.Framework Test.Framework.Providers.API

Main test data type: builds up a list of tests to be run. Users should use the utility functions in e.g. the test-framework-hunit and test-framework-quickcheck2 packages to create instances of Test, and then build them up into testsuites by using testGroup and lists. For an example of how to use test-framework, please see http://github.com/batterseapower/test-framework/raw/master/example/Test/Framework/Example.lhs

Test :: TestName -> t -> Test

test-framework Test.Framework.Providers.API

A single test of some particular type

module Distribution.Simple.Test

Cabal

This is the entry point into testing a built package. It performs the "./setup test" action. It runs test suites designated in the package description and reports on the results.