test-monad-laws-0.0.0.0: Laws for mtl classes as QuickCheck properties.

Index

++Test.Monad.Control.Checkers
ask_askTest.Monad.Reader
bad_catch_bindTest.Monad.Except.Mutants
bad_catch_catch_1Test.Monad.Except.Mutants
bad_catch_catch_2Test.Monad.Except.Mutants
bad_get_put_getTest.Monad.State.Mutants
bad_listen_tellTest.Monad.Writer.Mutants
bad_put_putTest.Monad.State.Mutants
bad_throwZeroTest.Monad.Except.Mutants
bad_throw_catchTest.Monad.Except.Mutants
bindHomTest.Monad.Morph
callCC_bindTest.Monad.Cont
callCC_constTest.Monad.Cont
callCC_idTest.Monad.Cont
callCC_left_zeroTest.Monad.Cont
callCC_phantomTest.Monad.Cont
CatchDoesNothingTest.Monad.Except.Mutants
CatchTwiceTest.Monad.Except.Mutants
catch_bindTest.Monad.Except
catch_catchTest.Monad.Except
catch_returnTest.Monad.Except
catch_throwTest.Monad.Except
checkContTest.Monad.Cont.Checkers
checkControlTest.Monad.Control.Checkers
checkCont_Test.Monad.Cont.Checkers
checkExceptTest.Monad.Except.Checkers
checkExcept'Test.Monad.Except.Checkers
checkExcept_Test.Monad.Except.Checkers
checkReaderTest.Monad.Reader.Checkers
checkReader'Test.Monad.Reader.Checkers
checkReader_Test.Monad.Reader.Checkers
checkStateTest.Monad.State.Checkers
checkState'Test.Monad.State.Checkers
checkState_Test.Monad.State.Checkers
checkWriterTest.Monad.Writer.Checkers
checkWriter'Test.Monad.Writer.Checkers
checkWriter_Test.Monad.Writer.Checkers
exceptTest.Monad.Except
ExtendTest.Monad.Control.Checkers
Extend'Test.Monad.Control.Checkers
get_getTest.Monad.State
get_putTest.Monad.State
liftBaseControlTest.Monad.Control
liftBaseWith_liftBaseTest.Monad.Control
liftBaseWith_restoreMTest.Monad.Control
liftBase_bindTest.Monad.Base
liftBase_returnTest.Monad.Base
liftControlTest.Monad.Control
LiftMaybeDiscardTest.Monad.Trans.Mutants
LiftMaybeNothingTest.Monad.Trans.Mutants
LiftTwiceTest.Monad.Trans.Mutants
LiftWithDropStateTest.Monad.Control.Mutants
LiftWithTwiceTest.Monad.Control.Mutants
liftWith_bindTest.Monad.Control
liftWith_liftTest.Monad.Control
liftWith_restoreTTest.Monad.Control
liftWith_returnTest.Monad.Control
lift_bindTest.Monad.Trans
lift_returnTest.Monad.Trans
ListenDoesNothingTest.Monad.Writer.Mutants
ListenResetsTest.Monad.Writer.Mutants
listen_bindTest.Monad.Writer
listen_listenTest.Monad.Writer
listen_passTest.Monad.Writer
listen_returnTest.Monad.Writer
listen_tellTest.Monad.Writer
LocalIdTest.Monad.Reader.Mutants
LocalRunsTwiceTest.Monad.Reader.Mutants
local_askTest.Monad.Reader
local_idTest.Monad.Reader
local_localTest.Monad.Reader
MapConsTest.Monad.Control.Checkers
Mutant 
1 (Type/Class)Test.Mutants
2 (Data Constructor)Test.Mutants
Mutant1Test.Monad.Reader.Checkers
Mutant2Test.Monad.Reader.Checkers
MutantExcept1Test.Monad.Except.Mutants
MutantExcept1TTest.Monad.Except.Mutants
MutantExcept2Test.Monad.Except.Mutants
MutantExcept2TTest.Monad.Except.Mutants
mutantLiftWithTest.Monad.Control.Mutants
MutantReaderTest.Monad.Reader.Mutants
MutantReaderTTest.Monad.Reader.Mutants
mutantRestoreTTest.Monad.Control.Mutants
MutantRStateTTest.Monad.Except.Mutants
MutantStateTest.Monad.State.Mutants
MutantStateTTest.Monad.State.Mutants
MutantWriterTest.Monad.Writer.Mutants
mutateTest.Mutants
PassDoesNothingTest.Monad.Writer.Mutants
pass_tellTest.Monad.Writer
PutDoesNothingTest.Monad.State.Mutants
put_getTest.Monad.State
put_putTest.Monad.State
RecoverableTest.Monad.Except.Mutants
ReplicateTest.Monad.Control.Checkers
RestoreDropStateTest.Monad.Control.Mutants
RestoreTwiceTest.Monad.Control.Mutants
returnHomTest.Monad.Morph
RunTwiceTest.Monad.Control.Mutants
SmallList 
1 (Type/Class)Test.SmallList
2 (Data Constructor)Test.SmallList
StackTest.Monad.Control.Checkers
StackTTest.Monad.Control.Checkers
state'Test.Monad.State
StdStacksTest.Monad.Control.Checkers
StdTransTest.Monad.Control.Checkers
TellDoesNothingTest.Monad.Writer.Mutants
tell_memptyTest.Monad.Writer
tell_tellTest.Monad.Writer
TestBaseControlTest.Monad.Control.Checkers
testBaseControlTest.Monad.Control.Checkers
TestControlTest.Monad.Control.Checkers
testControlTest.Monad.Control.Checkers
TestTransControlTest.Monad.Control.Checkers
testTransControlTest.Monad.Control.Checkers
throwZeroTest.Monad.Except
throw_catchTest.Monad.Except
tryErrorTest.Monad.Except
writer'Test.Monad.Writer
~>Test.Monad.Morph