Test.Async.Spec.TestResult

Definitions

record Diff : Type

  The difference between some expected and actual value.

Totality: total
Visibility: public export
Constructor: 

MkDiff : String -> String -> String -> String -> String -> ValueDiff -> Diff

Projections:

.diffAdded : Diff -> String

.diffInfix : Diff -> String

.diffPrefix : Diff -> String

.diffRemoved : Diff -> String

.diffSuffix : Diff -> String

.diffValue : Diff -> ValueDiff

Hints:

Eq Diff

Show Diff

.diffPrefix : Diff -> String

Totality: total
Visibility: public export

diffPrefix : Diff -> String

Totality: total
Visibility: public export

.diffRemoved : Diff -> String

Totality: total
Visibility: public export

diffRemoved : Diff -> String

Totality: total
Visibility: public export

.diffInfix : Diff -> String

Totality: total
Visibility: public export

diffInfix : Diff -> String

Totality: total
Visibility: public export

.diffAdded : Diff -> String

Totality: total
Visibility: public export

diffAdded : Diff -> String

Totality: total
Visibility: public export

.diffSuffix : Diff -> String

Totality: total
Visibility: public export

diffSuffix : Diff -> String

Totality: total
Visibility: public export

.diffValue : Diff -> ValueDiff

Totality: total
Visibility: public export

diffValue : Diff -> ValueDiff

Totality: total
Visibility: public export

data TestResult : Type

Totality: total
Visibility: public export
Constructors:

Failure : Maybe Diff -> String -> TestResult

Success : TestResult

Hints:

Eq TestResult

Show TestResult

0 Test : Type -> Type

Totality: total
Visibility: public export

data TestTree : Type -> Type

Totality: total
Visibility: public export
Constructors:

Node : String -> List (TestTree e) -> TestTree e

Leaf : String -> Test e -> TestTree e

data Pre : Type

Totality: total
Visibility: public export
Constructors:

It : Pre

They : Pre

Desc : String -> Pre

Hint: 

FromString Pre

it : Pre

Totality: total
Visibility: export

they : Pre

Totality: total
Visibility: export

record Post : Type -> Type

Totality: total
Visibility: export
Constructor: 

At : String -> Test e -> Post e

Projections:

.desc : Post e -> String

.test : Post e -> Test e

at : String -> Test e -> Post e

Totality: total
Visibility: export
Fixity Declaration: infixr operator, level 5

(!:) : String -> Test e -> Post e

  Operator version of `at`

Totality: total
Visibility: export
Fixity Declaration: infixr operator, level 5

data Verb : Type

Totality: total
Visibility: export
Constructors:

Should : Verb

Can : Verb

Must : Verb

Hint: 

Interpolation Verb

leaf : Verb -> Post e -> TestTree e

Totality: total
Visibility: export

record FlatSpecInstr : Type -> Type

Totality: total
Visibility: public export
Constructor: 

FSI : Verb -> Pre -> Post e -> FlatSpecInstr e

Projections:

.post : FlatSpecInstr e -> Post e

.pre : FlatSpecInstr e -> Pre

.verb : FlatSpecInstr e -> Verb

.verb : FlatSpecInstr e -> Verb

Totality: total
Visibility: public export

verb : FlatSpecInstr e -> Verb

Totality: total
Visibility: public export

.pre : FlatSpecInstr e -> Pre

Totality: total
Visibility: public export

pre : FlatSpecInstr e -> Pre

Totality: total
Visibility: public export

.post : FlatSpecInstr e -> Post e

Totality: total
Visibility: public export

post : FlatSpecInstr e -> Post e

Totality: total
Visibility: public export

should : Pre -> Post e -> FlatSpecInstr e

Totality: total
Visibility: public export
Fixity Declaration: infixr operator, level 5

must : Pre -> Post e -> FlatSpecInstr e

Totality: total
Visibility: public export
Fixity Declaration: infixr operator, level 5

can : Pre -> Post e -> FlatSpecInstr e

Totality: total
Visibility: public export
Fixity Declaration: infixr operator, level 5

data ValidInstrs : List (FlatSpecInstr e) -> Type

Totality: total
Visibility: public export
Constructor: 

IsValidInstrs : ValidInstrs (FSI v (Desc s) p :: t)

flatSpec : String -> (is : List (FlatSpecInstr e)) -> {auto 0 _ : ValidInstrs is} -> TestTree e

Totality: total
Visibility: export