Test.SDP.Split

Contents

Description

Test.SDP.Split is service module that provides Split tests.

Synopsis

type TestSplit s = Int -> s -> Bool
type TestSplit1 s e = Int -> s e -> Bool
type TestSplit2 s i e = Int -> s i e -> Bool
splitTest :: (Split s e, Eq e, Eq s, Bordered s i) => (e -> Bool) -> TestSplit s
basicSplitTest :: (Split s e, Eq e, Eq s, Bordered s i) => TestSplit s
whileSplitTest :: (Split s e, Eq e, Eq s, Bordered s i) => (e -> Bool) -> s -> Bool

Split test

TestSplit is service type synonym for more comfortable quickCheck using.

type TestSplit1 s e = Int -> s e -> Bool Source #

TestSplit1 is service type synonym for more comfortable quickCheck using.

type TestSplit2 s i e = Int -> s i e -> Bool Source #

TestSplit2 is service type synonym for more comfortable quickCheck using.

splitTest f n xs is default Split test, where f is arbitrary predicate (e.g. "Test.SDP.Gen.orderA").

Particular tests

basicSplitTest checks take, drop, sans, keep, split and divide correctness and relations.

whileSplitTest checks takeWhile, dropWhile, takeEnd, dropEnd, spanl, spanr, breakl and breakr correctness and relations.