Test.SDP.Index

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

Shape test

type TestShape s = s -> Bool

TestShape is service type synonym for more comfortable quickCheck using.

shapeTest :: (Shape s, Eq s, Eq (DimInit s), Eq (DimLast s)) => Int -> s -> Bool

shapeTest r sh is default Shape test, where r is expected rank for this shape type. Note that shapeTest also checks rank undefined case, to make sure rank is correct.

Index test

type TestIndex i = (i, i) -> i -> Bool

TestIndex is service type synonym for more comfortable quickCheck using.

indexTest :: Index i => (i, i) -> i -> Bool

indexTest is complex test, that includes all other tests. May crash with very big numbers (Word64, Integer) because the tested functions are limited by size of type Int. In practice, structures of such sizes would take more memory than the address space of computers can accommodate.

Particular tests

basicIndexTest :: Index i => (i, i) -> i -> Bool

basicIndexTest checks relations of rank, size and sizes.

inBoundsTest :: Index i => (i, i) -> i -> Bool

inBoundsTest checks relations of inBounds and other range functions.

rangeTest :: Index i => (i, i) -> i -> Bool

rangeTest checks relations of inRange, isOverflow, isUnderflow and isEmpty.

prevTest :: Index i => (i, i) -> Bool

prevTest checks relations of prev and range.

nextTest :: Index i => (i, i) -> Bool

nextTest checks relations of next and range.

dumbSizeTest :: Index i => (i, i) -> Bool

dumbSizeTest is O(n) (may be very long) test, that checks relation of range size and range length.