Test.TLT.Buffer

Buffer for accumulating test results in the TLT testing system. See TLT for more information.

Documentation

data TRBuf

Accumulator for test results, in the style of a simplified Huet's zipper which only ever adds to the end of the structure.

Constructors

Buf TRBuf Int Int String [TestResult]

Top Int Int [TestResult]

addResult :: TRBuf -> TestResult -> TRBuf

Add a single test result to a TRBuf.

currentGroup :: TRBuf -> TestResult

Convert the topmost group of a bottom-up TRBuf into a completed top-down report about the group.

popGroup :: TRBuf -> TRBuf

Derive a new TRBuf corresponding to finishing the current group and continuing to accumulate results into its enclosure.

closeTRBuf :: TRBuf -> [TestResult]

Convert a TRBuf into a list of top-down TestResults.