Evince.Expectations

Definitions

mustBe : DecEq a => Show a => a -> a -> TestResult ()

  Passes if `actual` is decidably equal to `expected`. Uses `DecEq` for
  constructive equality — the primary assertion in evince.

Totality: total
Visibility: export

mustNotBe : DecEq a => Show a => a -> a -> TestResult ()

  Passes if `actual` is decidably not equal to `expected`.

Totality: total
Visibility: export

mustEqual : Eq a => Show a => a -> a -> TestResult ()

  Passes if `actual == expected` via `Eq`. Fallback for types without `DecEq`
  (e.g. `Double`).

Totality: total
Visibility: export

mustNotEqual : Eq a => Show a => a -> a -> TestResult ()

  Passes if `actual /= expected` via `Eq`.

Totality: total
Visibility: export

mustSatisfy : Show a => a -> (a -> Bool) -> TestResult ()

  Passes if `pred actual` is `True`.

Totality: total
Visibility: export

mustNotSatisfy : Show a => a -> (a -> Bool) -> TestResult ()

  Passes if `pred actual` is `False`.

Totality: total
Visibility: export

mustBeTrue : Bool -> TestResult ()

  Passes if the value is `True`.

Totality: total
Visibility: export

mustBeFalse : Bool -> TestResult ()

  Passes if the value is `False`.

Totality: total
Visibility: export

mustBeJust : Show a => Maybe a -> TestResult ()

  Passes if the value is `Just _`.

Totality: total
Visibility: export

mustBeNothing : Show a => Maybe a -> TestResult ()

  Passes if the value is `Nothing`.

Totality: total
Visibility: export

mustBeRight : (Show a, Show b) => Either a b -> TestResult ()

  Passes if the value is `Right _`.

Totality: total
Visibility: export

mustBeLeft : (Show a, Show b) => Either a b -> TestResult ()

  Passes if the value is `Left _`.

Totality: total
Visibility: export

mustContain : Eq a => Show a => List a -> List a -> TestResult ()

  Passes if `needle` is a contiguous subsequence of `haystack`.

Totality: total
Visibility: export

mustNotContain : Eq a => Show a => List a -> List a -> TestResult ()

  Passes if `needle` is not a contiguous subsequence of `haystack`.

Totality: total
Visibility: export

mustStartWith : Eq a => Show a => List a -> List a -> TestResult ()

  Passes if the list starts with `prefx`.

Totality: total
Visibility: export

mustEndWith : Eq a => Show a => List a -> List a -> TestResult ()

  Passes if the list ends with `sufx`.

Totality: total
Visibility: export

mustBeEmpty : Show a => List a -> TestResult ()

  Passes if the list is empty.

Totality: total
Visibility: export

mustNotBeEmpty : List a -> TestResult ()

  Passes if the list is non-empty.

Totality: total
Visibility: export

mustFail : String -> TestResult ()

  Unconditionally fails with the given message.

Totality: total
Visibility: export

pending : TestResult ()

  Marks a test as pending (skipped, not counted as failure).

Totality: total
Visibility: export

pendingWith : String -> TestResult ()

  Marks a test as pending with a reason.

Totality: total
Visibility: export

mustReturn : DecEq a => Show a => IO a -> a -> IO (TestResult ())

  Passes if the IO action returns a value decidably equal to `expected`.
  Used with `itIO`.

Visibility: export

mustReturnEqual : Eq a => Show a => IO a -> a -> IO (TestResult ())

  Passes if the IO action returns a value equal to `expected` via Eq.
  Used with `itIO`. Fallback for types without `DecEq`.

Visibility: export