Test.Async.Spec.Report

Definitions

data Markup : Type

Totality: total
Visibility: public export
Constructors:

FailedIcon : Markup

FailedText : Markup

SuccessIcon : Markup

SuccessText : Markup

Summary : Markup

Title : Nat -> Markup

DiffRemoved : Markup

DiffAdded : Markup

NoMarkup : Markup

Hints:

Eq Markup

Ord Markup

Show Markup

fail : TestEnv => HasIO io => String -> Maybe Diff -> String -> io ()

Totality: total
Visibility: export

succeeded : HasIO io => TestEnv => String -> io ()

Totality: total
Visibility: export

report : HasIO io => TestEnv => String -> TestResult -> io ()

Totality: total
Visibility: export

summary : HasIO io => TestEnv => Nat -> Nat -> io ()

Totality: total
Visibility: export

printName : HasIO io => TestEnv => String -> io ()

Totality: total
Visibility: export