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
- Test