| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Data.LensRef.Test
Contents
Description
Tests for the MonadRefCreator interface.
- mkTests :: (MonadRegisterRun m, MonadRefWriter m, EffectM m ~ Prog (AsocT m), Monad n) => (m () -> n ()) -> n ()
- tests :: (MonadRegisterRun m, EffectM m ~ Prog (AsocT m), Monad n, MonadRegister (Modifier m)) => (forall a. (Eq a, Show a) => String -> m a -> Prog' (a, Prog' ()) -> n ()) -> n ()
Tests for the interface
mkTests :: (MonadRegisterRun m, MonadRefWriter m, EffectM m ~ Prog (AsocT m), Monad n) => (m () -> n ()) -> n () Source
mkTests generates a list of error messages which should be emtpy.
Look inside the sources for the tests.