quickCheck package:servant-quickcheck

Servant.QuickCheck provides utilities related to using QuickCheck over an API. Rather than specifying properties that individual handlers must satisfy, you can state properties that ought to hold true of the entire API. While the API must be described with servant types, the server being tested itself need not be implemented with servant-server (or indeed, written in Haskell). The documentation of the Useful predicates sections is meant to serve as a set of helpful pointers for learning more about best practices concerning REST APIs.
QuickCheck entire APIs This packages provides QuickCheck properties that are tested across an entire API.