Idris2Doc : Evince.Rerun

Evince.Rerun

(source)

Definitions

joinPath : List String -> String
  Render a test path in the dot-joined format used by the failure file.

Visibility: export
writeFailures : List (List String) -> IO ()
  Write failed test paths to the failure file. Deletes the file if
there are no failures (clean slate).

Visibility: export
readFailures : IO (Maybe (List String))
  Read previously failed test paths from the failure file.

Visibility: export