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

SuiteAborted : Event

SuiteDone : Summary -> Event

record Reporter : (Type -> Type) -> Type

  A reporter consumes events emitted by the runner, in the runner's monad `m`.

Totality: total
Visibility: public export
Constructor: 

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

Projection: 

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

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

Visibility: public export

onEvent : Reporter m -> Event -> m ()

Visibility: public export

combineReporters : Applicative m => List (Reporter m) -> Reporter m

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

Visibility: export