Safe Haskell | Safe-Infered |
---|
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
(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