massiv-test

Library that contains generators, properties and tests for Massiv Array Library.

https://github.com/lehins/massiv

LTS Haskell 23.1:1.1.0.0
Stackage Nightly 2024-12-26:1.1.0.0
Latest on Hackage:1.1.0.0

See all snapshots massiv-test appears in

BSD-3-Clause licensed by Alexey Kuleshevich
Maintained by [email protected]
This version can be pinned in stack with:massiv-test-1.1.0.0@sha256:86c531c79c6a051711197c736a8ca3e732d8b6cab50853fe8d8e73efa6011208,7070

massiv-test

This package is designed for users of massiv, that would like to do some testing of their code, while reusing functionality that has already been written for testing massiv itsef. This library is still a work in progress, nevertheless it is at a fairly usable state. Below is a list of use case for this package.

QuickCheck generators

First and foremost this package provides Arbitrary and CoArbitrary instances for the relevant types available in massiv, as well as few extra handy newtype wrappers that can be very useful for writing property tests for libraries and applications that depends on massiv.

Reusable spec

Another important use case is for advanced users that came up with their own index types or array representations and would like to run a standard set of specs on their instance implementations. For example a custom Index ix, or Maniest r e instances can use a predefined collection of hspec specs and/or QuickCheck properties to validate their implementation.

Test suite for massiv

Internally massiv-test package contains all of the tests that are used on massiv. The whole test suite has been extracted out to make the massiv package lighter as well as to make the test functionality reusable, without impacting the dependency footprint of the user that does not need the testing functionlity.

Because of this usecase, the major version of massiv-test is expected to increase with almost every release of massiv.

Doctests

Together with examples in haddock it is possible to describe various properties. Those examples and properties can be tested with doctests, but such properties can not be tested without QuickCheck generators readily available for import, for that reason doctest test section of massiv also depends on massiv-test.

More info

For more info on massiv and related libraries refer to README on github.

Changes

1.1.0

  • Rename assertException to assertDeepException and assertExceptionIO to assertDeepExceptionIO in order to match functions that were released in QuickCheck-2.15

1.0.0

  • Support for massiv-1.0.0.0

0.1.7

  • Add propIO

0.1.6

  • Fix expectations for matrix multiplications. Empty arrays now always produce empty arrays.

0.1.5

  • Add numeric tests
  • Add floating point comparison with epsilon functions:
    • epsilonExpect
    • epsilonFoldableExpect
    • epsilonMaybeEq
    • epsilonEq
    • epsilonEqDouble
    • epsilonEqFloat

0.1.4

  • Add ArrDW

0.1.0

  • Initial release.