Evince.Core

Reexports

Definitions

data FailureInfo : Type

Totality: total
Visibility: public export
Constructors:

ExpectedButGot : String -> String -> String -> FailureInfo

PredicateFailed : String -> String -> FailureInfo

Reason : String -> FailureInfo

Hints:

DecEq FailureInfo

Show FailureInfo

data TestResult : Type -> Type

Totality: total
Visibility: public export
Constructors:

Pass : a -> TestResult a

Fail : FailureInfo -> TestResult a

Skip : Maybe String -> TestResult a

Hints:

Applicative TestResult

DecEq a => DecEq (TestResult a)

Functor TestResult

Monad TestResult

Show a => Show (TestResult a)

data SpecTree : Type -> Type

Totality: total
Visibility: public export
Constructors:

Describe : String -> List (SpecTree a) -> SpecTree a

It : String -> Maybe SrcLoc -> (a -> IO (TestResult ())) -> SpecTree a

Pending : String -> Maybe String -> SpecTree a

Focused : SpecTree a -> SpecTree a

WithCleanup : IO () -> List (SpecTree a) -> SpecTree a

data Spec : Type -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkSpec : SnocList (SpecTree a) -> b -> Spec a b

Hints:

Applicative (Spec a)

Functor (Spec a)

Monad (Spec a)

getSpecTrees : Spec a () -> List (SpecTree a)

  Extract the tree list from a completed spec.

Totality: total
Visibility: export

record Summary : Type

Totality: total
Visibility: public export
Constructor: 

MkSummary : Nat -> Nat -> Nat -> Integer -> Summary

Projections:

.duration : Summary -> Integer

.failed : Summary -> Nat

.passed : Summary -> Nat

.pending : Summary -> Nat

Hints:

Monoid Summary

Semigroup Summary

Show Summary

.passed : Summary -> Nat

Totality: total
Visibility: public export

passed : Summary -> Nat

Totality: total
Visibility: public export

.failed : Summary -> Nat

Totality: total
Visibility: public export

failed : Summary -> Nat

Totality: total
Visibility: public export

.pending : Summary -> Nat

Totality: total
Visibility: public export

pending : Summary -> Nat

Totality: total
Visibility: public export

.duration : Summary -> Integer

Totality: total
Visibility: public export

duration : Summary -> Integer

Totality: total
Visibility: public export

totalCount : Summary -> Nat

Totality: total
Visibility: export

record RunConfig : Type

Totality: total
Visibility: public export
Constructor: 

MkRunConfig : Bool -> Bool -> Maybe String -> Maybe String -> Bool -> Maybe Nat -> Maybe String -> Bool -> Nat -> RunConfig

Projections:

.failFast : RunConfig -> Bool

.jobs : RunConfig -> Nat

.junitOutput : RunConfig -> Maybe String

.match : RunConfig -> Maybe String

.randomize : RunConfig -> Bool

.rerun : RunConfig -> Bool

.seed : RunConfig -> Maybe Nat

.showTiming : RunConfig -> Bool

.skip : RunConfig -> Maybe String

.failFast : RunConfig -> Bool

Totality: total
Visibility: public export

failFast : RunConfig -> Bool

Totality: total
Visibility: public export

.showTiming : RunConfig -> Bool

Totality: total
Visibility: public export

showTiming : RunConfig -> Bool

Totality: total
Visibility: public export

.match : RunConfig -> Maybe String

Totality: total
Visibility: public export

match : RunConfig -> Maybe String

Totality: total
Visibility: public export

.skip : RunConfig -> Maybe String

Totality: total
Visibility: public export

skip : RunConfig -> Maybe String

Totality: total
Visibility: public export

.randomize : RunConfig -> Bool

Totality: total
Visibility: public export

randomize : RunConfig -> Bool

Totality: total
Visibility: public export

.seed : RunConfig -> Maybe Nat

Totality: total
Visibility: public export

seed : RunConfig -> Maybe Nat

Totality: total
Visibility: public export

.junitOutput : RunConfig -> Maybe String

Totality: total
Visibility: public export

junitOutput : RunConfig -> Maybe String

Totality: total
Visibility: public export

.rerun : RunConfig -> Bool

Totality: total
Visibility: public export

rerun : RunConfig -> Bool

Totality: total
Visibility: public export

.jobs : RunConfig -> Nat

Totality: total
Visibility: public export

jobs : RunConfig -> Nat

Totality: total
Visibility: public export

defaultConfig : RunConfig

  Default configuration: no fail-fast, no timing, no filters.

Totality: total
Visibility: export