Idrall.TestHelper

Definitions

record Result : Type

Totality: total
Visibility: public export
Constructor: 

MkResult : Nat -> Nat -> Result

Projections:

.fail : Result -> Nat

.pass : Result -> Nat

Hints:

Monoid Result

Semigroup Result

Show Result

.pass : Result -> Nat

Visibility: public export

pass : Result -> Nat

Visibility: public export

.fail : Result -> Nat

Visibility: public export

fail : Result -> Nat

Visibility: public export

runTests : Pretty a => String -> (String -> String -> IOEither Error a) -> IO Result

Visibility: public export

runTestsOnly : Pretty a => List String -> String -> (String -> String -> IOEither Error a) -> IO Result

Visibility: public export

runTestFail : Show a => String -> (String -> IOEither Error a) -> IO Result

Visibility: public export

ppResult : Result -> String

Visibility: public export

ppResultFail : Result -> String

Visibility: public export