Evince.Reporter

Definitions

data Event : Type

  Lifecycle events emitted by the runner during suite evaluation.

Totality: total
Visibility: public export
Constructors:

SuiteStarted : Event

GroupStarted : String -> Nat -> Event

GroupDone : String -> Event

TestDone : TestReport -> Nat -> Event

PendingTest : String -> Maybe String -> Nat -> Event

SuiteDone : Summary -> Event

record Reporter : Type

  A reporter consumes events emitted by the runner.

Totality: total
Visibility: public export
Constructor: 

MkReporter : (Event -> IO ()) -> Reporter

Projection: 

.onEvent : Reporter -> Event -> IO ()

.onEvent : Reporter -> Event -> IO ()

Visibility: public export

onEvent : Reporter -> Event -> IO ()

Visibility: public export

combineReporters : List Reporter -> Reporter

  Combine multiple reporters into one. Each event is dispatched
  to all reporters in order.

Visibility: export