Idris2Doc : Test.Golden

Test.Golden

Options : Type
Options for the test driver.
Totality: total
Constructor: 
Requirement : Type
Some test may involve Idris' backends and have requirements.
We define here the ones supported by Idris
Totality: total
Constructors:
C : Requirement
Chez : Requirement
Node : Requirement
Racket : Requirement
Gambit : Requirement
TestPool : Type
A test pool is characterised by
+ a list of requirement
+ and a list of directory paths
Totality: total
Constructor: 
checkRequirement : Requirement -> IO (Maybe String)
fail : String -> IOUnit
filterTests : Options -> List String -> List String
Only keep the tests that have been asked for
findCG : IO (Maybe String)
initOptions : String -> Options
options : List String -> MaybeOptions
Process the command line options.
pathLookup : List String -> IO (Maybe String)
Find the first occurrence of an executable on `PATH`.
poolRunner : Options -> TestPool -> IO (ListBool)
A runner for a test pool
runTest : Options -> String -> IO (FutureBool)
Run the specified Golden test with the supplied options.

See the module documentation for more information.

@testPath the directory that contains the test.
runner : ListTestPool -> IOUnit
A runner for a whole test suite
usage : String -> String