microspec-0.2.1.3: Tiny QuickCheck test library with minimal dependencies

# microspec-0.2.1.3: Tiny QuickCheck test library with minimal dependencies

A tiny (1 module, <500 lines) property-based (and unit) testing library with minimal dependencies.

Instead of reinventing the wheel (https://xkcd.com/927), we use a RSpec/HSpec-like DSL and run tests with QuickCheck.

For many use-cases, microspec is a drop-in replacement for hspec.

    import Test.Microspec

    main :: IO ()
    main = microspec $ do
       describe "replicate" $ do
          it "doubles with 2" $
             replicate 2 'x' === "xx"
          it "creates a list of the right size" $
             \(Positive n) -> length (replicate n 'x') === n

       describe "reverse" $ do
          it "reverse . reverse === id" $ \l ->
             reverse (reverse l) === (l :: [Int])

       describe "tail" $
          it "length is -1" $ \(NonEmpty l) ->
             length (tail l :: [Int]) === length l - 1

       describe "solve the halting problem" $
          pending

Modules

microspec-0.2.1.3

- Test
  Submodules
  - Test.Microspec