Test.SDP.Linear

Test.SDP.Linear provides basic test suite for Linear class.

Default Linear test

type TestLinear l e = Int -> e -> l -> Bool

TestLinear is service type synonym for more comfortable quickCheck using.

type TestLinear1 f e = Int -> e -> f e -> Bool

TestLinear1 is service type synonym for more comfortable quickCheck using.

type TestLinear2 f i e = Int -> e -> f i e -> Bool

TestLinear2 is service type synonym for more comfortable quickCheck using.

linearTest :: (Linear l e, Eq e, Eq l, Bordered l i) => Int -> e -> l -> Bool

linearTest is complex test, that includes all ther tests.

Particular tests

deconstructionLinearTest :: (Linear l e, Eq e) => l -> Bool

deconstructionLinearTest checks relations of isNull, head, last, init and tail.

constructionLinearTest :: (Linear l e, Eq l) => e -> l -> Bool

constructionLinearTest checks relations of toHead, toLast and fromList.

basicLinearTest :: (Linear l e, Eq l) => e -> l -> Bool

basicLinearTest checks relations of isNull, lzero, single and fromList.

replicateTest :: (Linear l e, Eq l, Bordered l i) => Int -> e -> l -> Bool

replicateTest checks rules of replicate.

reverseTest :: (Linear l e, Eq e) => l -> Bool

reverseTest checks rules of reverse, listL and listR.

concatTest :: (Linear l e, Eq e, Eq l) => l -> Bool

concatTest checks rules of (++) and concat.