gencheck-0.1.1: A testing framework inspired by QuickCheck and SmallCheck

Safe HaskellSafe-Infered

Test.GenCheck.System.Result

Documentation

dspVerdict :: (LabelledPartition c k v, Verdict r, DetailedResult (c k) v r) => String -> c k (v r) -> IO BoolSource

dspSummary :: (Datum r, Show k, Show (v (DataType r)), LabelledPartition c k v, DetailedResult (c k) v r) => String -> c k (v r) -> IO ()Source

dspDetails :: (Datum r, Show k, Show (v r), LabelledPartition c k v, DetailedResult (c k) v r) => String -> c k (v r) -> IO ()Source

class (Verdict r, Datum r) => DetailedResult c v r whereSource

Methods

cases :: c (v r) -> c (v (DataType r))Source

failures :: c (v r) -> c (v r)Source

Instances

(LabelledPartition c k v, Verdict r, Datum r, Ord k, Functor v, Functor (c k)) => DetailedResult (c k) v r 

result :: (LabelledPartition c k v, Verdict r) => c k (v r) -> BoolSource

resultPartial :: (LabelledPartition c k v, SummaryVerdict v, Ord k, Verdict r) => c k (v r) -> k -> BoolSource