| Copyright | (c) Andrey Mulik 2019 |
|---|---|
| License | BSD-style |
| Maintainer | work.a.mulik@gmail.com |
| Portability | non-portable (requires non-portable modules). |
| Safe Haskell | None |
| Language | Haskell2010 |
Test.SDP.Sort
Contents
Description
Test.SDP.Sort provides simple test for Sort class.
Exports
module Test.SDP.Gen
Default test
sortTest :: (Sort s e, Split s e, Bordered s i, Ord e) => Medium s -> Bool Source #
sortTest is just sorted . sort synonym.
Please note that for default definition of Arbitrary generates very short
structures and this isn't enough for verification (if the length of the
structure is less than 65, then TimSort uses InsertionSort).