sdp-quickcheck-0.2: SDP QuickCheck support
Copyright(c) Andrey Mulik 2019
LicenseBSD-style
Maintainerwork.a.mulik@gmail.com
Portabilitynon-portable (requires non-portable modules)
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.SDP.Estimate

Description

Test.SDP.Estimate provides basic test suite for Estimate instances.

Synopsis

Estimate test

type TestEstimate e = Int -> e -> e -> Bool Source #

TestEstimate is service type synonym for more comfortable quickCheck using.

estimateTest :: Bordered b i => Int -> b -> b -> Bool Source #

estimateTest is basic test suite for Estimate instances.