Control.MLens.ExtRef.Pure.Test

Tests for the reference implementation of the ExtRef interface.

Basic test environment

type Test i = Ext i (Writer [String])

Tests use a writer monad to tell errors.

(==>) :: (Eq a, Show a) => Ref (Test i) a -> a -> Test i ()

This operator checks the current value of a given reference.

runTest :: (forall i. Test i a) -> [String]

Test running results the list of error messages given by (==>).

Test suit

tests :: [String]

tests contains error messages; it should be emtpy.

Look inside the sources for the tests.