Test.Golden.RunnerHelper

Reexports

Definitions

record BuildDir : Type

Totality: total
Visibility: public export
Constructor: 

MkBuildDir : String -> BuildDir

Projection: 

.buildDir : BuildDir -> String

.buildDir : BuildDir -> String

Visibility: public export

buildDir : BuildDir -> String

Visibility: public export

interface RunScriptArg : Type

  Determines which string will be passed as the first argument
  to the `run` script of each test.

Constructor: 

MkRunScriptArg

Methods:

runScriptArg : BuildDir => String

runScriptArg : RunScriptArg => BuildDir => String

Visibility: public export

DefaultRunScriptArg : RunScriptArg

  When no default argument is given, is passes a filename for "pack lock",
  a file to be locked over when running `pack -q install-deps test.ipkg` using `flock`.
  This is most useful when testing libraries, when only `pack` or `idris2` commands are used in tests.

Visibility: public export

interface TestPoolLike : Type -> Type

Parameters: a
Methods:

toTestPool : a -> IO (List TestPool)

Implementations:

TestPoolLike (IO TestPool)

TestPoolLike TestPool

TestPoolLike (List TestPool)

TestPoolLike (IO (List TestPool))

TestPoolLike (List (IO TestPool))

toTestPool : TestPoolLike a => a -> IO (List TestPool)

Visibility: export

data TestPools : Type

Totality: total
Visibility: export
Constructor: 

MkTestPools : IO (List TestPool) -> TestPools

Nil : TestPools

Visibility: export

(::) : TestPoolLike a => a -> TestPools -> TestPools

Visibility: export
Fixity Declaration: infixr operator, level 7

(++) : TestPools -> TestPools -> TestPools

Visibility: export
Fixity Declaration: infixr operator, level 7

atDir : String -> String -> IO TestPool

Visibility: export

goldenRunner' : RunScriptArg => String -> String -> TestPools -> IO ()

Visibility: export

goldenRunner : RunScriptArg => TestPools -> Elab (IO ())

Visibility: export