Idris2Doc : Evince.Reporter.Console

Evince.Reporter.Console

(source)

Definitions

consoleReporter : HasIO m => RunConfig -> Reporter m
  Create a console reporter that prints colored test results to stdout.

Visibility: export