| Copyright | (c) Andrey Mulik 2019 |
|---|---|
| License | BSD-style |
| Maintainer | work.a.mulik@gmail.com |
| Portability | non-portable (requires non-portable modules) |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Test.SDP.Indexed
Contents
Description
Test.SDP.Indexed provides simple set of test for Indexed class.
Synopsis
- type TestIndexed l i = i -> l -> Bool
- type TestIndexed1 l i e = i -> l e -> Bool
- type TestIndexed2 l i e = i -> l i e -> Bool
- indexedTest :: (Bordered l i, Indexed l i e, Eq e, Eq l) => i -> l -> Bool
- basicIndexedTest :: (Bordered l i, Indexed l i e) => i -> l -> Bool
- assocIndexedTest :: (Bordered l i, Indexed l i e, Eq e, Eq l) => i -> l -> Bool
- readIndexedTest :: (Bordered l i, Indexed l i e, Eq e) => i -> l -> Bool
Indexed test
type TestIndexed l i = i -> l -> Bool Source #
TestIndexed is service type synonym for more comfortable quickCheck using.
type TestIndexed1 l i e = i -> l e -> Bool Source #
TestIndexed1 is service type synonym for more comfortable quickCheck using.
type TestIndexed2 l i e = i -> l i e -> Bool Source #
TestIndexed2 is service type synonym for more comfortable quickCheck using.
indexedTest :: (Bordered l i, Indexed l i e, Eq e, Eq l) => i -> l -> Bool Source #
indexedTest is complex test, that includes all other tests.
Particular tests
basicIndexedTest :: (Bordered l i, Indexed l i e) => i -> l -> Bool Source #
basicIndexedTest checks relations of isNull, safeElem and inRange.