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

Exports
Default test

Description

Test.SDP.Sort provides simple test for Sort class.

Synopsis

module Test.SDP.Gen
sortTest :: (Sort s e, Split s e, Bordered s i, Ord e) => Medium s -> Bool

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).