Contents
Index
test-monad-laws-0.0.0.0: Laws for mtl classes as QuickCheck properties.
Index
++
Test.Monad.Control.Checkers
ask_ask
Test.Monad.Reader
bad_catch_bind
Test.Monad.Except.Mutants
bad_catch_catch_1
Test.Monad.Except.Mutants
bad_catch_catch_2
Test.Monad.Except.Mutants
bad_get_put_get
Test.Monad.State.Mutants
bad_listen_tell
Test.Monad.Writer.Mutants
bad_put_put
Test.Monad.State.Mutants
bad_throwZero
Test.Monad.Except.Mutants
bad_throw_catch
Test.Monad.Except.Mutants
bindHom
Test.Monad.Morph
callCC_bind
Test.Monad.Cont
callCC_const
Test.Monad.Cont
callCC_id
Test.Monad.Cont
callCC_left_zero
Test.Monad.Cont
callCC_phantom
Test.Monad.Cont
CatchDoesNothing
Test.Monad.Except.Mutants
CatchTwice
Test.Monad.Except.Mutants
catch_bind
Test.Monad.Except
catch_catch
Test.Monad.Except
catch_return
Test.Monad.Except
catch_throw
Test.Monad.Except
checkCont
Test.Monad.Cont.Checkers
checkControl
Test.Monad.Control.Checkers
checkCont_
Test.Monad.Cont.Checkers
checkExcept
Test.Monad.Except.Checkers
checkExcept'
Test.Monad.Except.Checkers
checkExcept_
Test.Monad.Except.Checkers
checkReader
Test.Monad.Reader.Checkers
checkReader'
Test.Monad.Reader.Checkers
checkReader_
Test.Monad.Reader.Checkers
checkState
Test.Monad.State.Checkers
checkState'
Test.Monad.State.Checkers
checkState_
Test.Monad.State.Checkers
checkWriter
Test.Monad.Writer.Checkers
checkWriter'
Test.Monad.Writer.Checkers
checkWriter_
Test.Monad.Writer.Checkers
except
Test.Monad.Except
Extend
Test.Monad.Control.Checkers
Extend'
Test.Monad.Control.Checkers
get_get
Test.Monad.State
get_put
Test.Monad.State
liftBaseControl
Test.Monad.Control
liftBaseWith_liftBase
Test.Monad.Control
liftBaseWith_restoreM
Test.Monad.Control
liftBase_bind
Test.Monad.Base
liftBase_return
Test.Monad.Base
liftControl
Test.Monad.Control
LiftMaybeDiscard
Test.Monad.Trans.Mutants
LiftMaybeNothing
Test.Monad.Trans.Mutants
LiftTwice
Test.Monad.Trans.Mutants
LiftWithDropState
Test.Monad.Control.Mutants
LiftWithTwice
Test.Monad.Control.Mutants
liftWith_bind
Test.Monad.Control
liftWith_lift
Test.Monad.Control
liftWith_restoreT
Test.Monad.Control
liftWith_return
Test.Monad.Control
lift_bind
Test.Monad.Trans
lift_return
Test.Monad.Trans
ListenDoesNothing
Test.Monad.Writer.Mutants
ListenResets
Test.Monad.Writer.Mutants
listen_bind
Test.Monad.Writer
listen_listen
Test.Monad.Writer
listen_pass
Test.Monad.Writer
listen_return
Test.Monad.Writer
listen_tell
Test.Monad.Writer
LocalId
Test.Monad.Reader.Mutants
LocalRunsTwice
Test.Monad.Reader.Mutants
local_ask
Test.Monad.Reader
local_id
Test.Monad.Reader
local_local
Test.Monad.Reader
MapCons
Test.Monad.Control.Checkers
Mutant
1 (Type/Class)
Test.Mutants
2 (Data Constructor)
Test.Mutants
Mutant1
Test.Monad.Reader.Checkers
Mutant2
Test.Monad.Reader.Checkers
MutantExcept1
Test.Monad.Except.Mutants
MutantExcept1T
Test.Monad.Except.Mutants
MutantExcept2
Test.Monad.Except.Mutants
MutantExcept2T
Test.Monad.Except.Mutants
mutantLiftWith
Test.Monad.Control.Mutants
MutantReader
Test.Monad.Reader.Mutants
MutantReaderT
Test.Monad.Reader.Mutants
mutantRestoreT
Test.Monad.Control.Mutants
MutantRStateT
Test.Monad.Except.Mutants
MutantState
Test.Monad.State.Mutants
MutantStateT
Test.Monad.State.Mutants
MutantWriter
Test.Monad.Writer.Mutants
mutate
Test.Mutants
PassDoesNothing
Test.Monad.Writer.Mutants
pass_tell
Test.Monad.Writer
PutDoesNothing
Test.Monad.State.Mutants
put_get
Test.Monad.State
put_put
Test.Monad.State
Recoverable
Test.Monad.Except.Mutants
Replicate
Test.Monad.Control.Checkers
RestoreDropState
Test.Monad.Control.Mutants
RestoreTwice
Test.Monad.Control.Mutants
returnHom
Test.Monad.Morph
RunTwice
Test.Monad.Control.Mutants
SmallList
1 (Type/Class)
Test.SmallList
2 (Data Constructor)
Test.SmallList
Stack
Test.Monad.Control.Checkers
StackT
Test.Monad.Control.Checkers
state'
Test.Monad.State
StdStacks
Test.Monad.Control.Checkers
StdTrans
Test.Monad.Control.Checkers
TellDoesNothing
Test.Monad.Writer.Mutants
tell_mempty
Test.Monad.Writer
tell_tell
Test.Monad.Writer
TestBaseControl
Test.Monad.Control.Checkers
testBaseControl
Test.Monad.Control.Checkers
TestControl
Test.Monad.Control.Checkers
testControl
Test.Monad.Control.Checkers
TestTransControl
Test.Monad.Control.Checkers
testTransControl
Test.Monad.Control.Checkers
throwZero
Test.Monad.Except
throw_catch
Test.Monad.Except
tryError
Test.Monad.Except
writer'
Test.Monad.Writer
~>
Test.Monad.Morph