Test.Async.Spec.TestEnv

Definitions

record TestEnv : Type

Totality: total
Visibility: public export
Constructor: 

TE : IORef Nat -> IORef Nat -> IORef Nat -> Bool -> LayoutOpts -> TestEnv

Projections:

.depth : TestEnv -> IORef Nat

.failures : TestEnv -> IORef Nat

.layout : TestEnv -> LayoutOpts

.tests : TestEnv -> IORef Nat

.useColor : TestEnv -> Bool

.depth : TestEnv -> IORef Nat

Totality: total
Visibility: public export

depth : TestEnv -> IORef Nat

Totality: total
Visibility: public export

.failures : TestEnv -> IORef Nat

Totality: total
Visibility: public export

failures : TestEnv -> IORef Nat

Totality: total
Visibility: public export

.tests : TestEnv -> IORef Nat

Totality: total
Visibility: public export

tests : TestEnv -> IORef Nat

Totality: total
Visibility: public export

.useColor : TestEnv -> Bool

Totality: total
Visibility: public export

useColor : TestEnv -> Bool

Totality: total
Visibility: public export

.layout : TestEnv -> LayoutOpts

Totality: total
Visibility: public export

layout : TestEnv -> LayoutOpts

Totality: total
Visibility: public export

LL80 : LayoutOpts

Totality: total
Visibility: export

mkEnv : Lift1 World f => Bool -> f TestEnv

Totality: total
Visibility: export

addFailure : TestEnv => HasIO io => io ()

Totality: total
Visibility: export

addTest : TestEnv => HasIO io => io ()

Totality: total
Visibility: export

incDepth : TestEnv => HasIO io => io ()

Totality: total
Visibility: export

decDepth : TestEnv => HasIO io => io ()

Totality: total
Visibility: export

renderDoc : {auto te : TestEnv} -> Doc (te .layout) -> String

Totality: total
Visibility: export