ClassLaws-0.3.1.0: Stating and checking laws for type class methods (Index - D)

ClassLaws-0.3.1.0: Stating and checking laws for type class methods

A
B
C
D
E
F
G
I
L
M
N
O
P
Q
R
S
T
U
V
W
+
.
/
<
=
>
\
All

Index - D

defaultFunctorLaw1	Control.Monad.Laws
defaultFunctorLaw2	Control.Monad.Laws
defaultFunctorMonadLaw	Control.Monad.Laws
defaultMonadLaw1	Control.Monad.Laws
defaultMonadLaw2	Control.Monad.Laws
defaultMonadLaw3	Control.Monad.Laws
defaultMonadPlusLaw1	Control.Monad.Laws
defaultMonadPlusLaw2	Control.Monad.Laws
defaultMonadPlusLaw3	Control.Monad.Laws
defaultMonadPlusLaw4	Control.Monad.Laws
defaultMonadPlusLaw5	Control.Monad.Laws
defaultMonadStateGetGet	Control.Monad.State.Class.Laws
defaultMonadStateGetPut	Control.Monad.State.Class.Laws
defaultMonadStatePutGet	Control.Monad.State.Class.Laws
defaultMonadStatePutPut	Control.Monad.State.Class.Laws
defaultMonoidLaw1	Data.Monoid.Laws
defaultMonoidLaw2	Data.Monoid.Laws
defaultMonoidLaw3	Data.Monoid.Laws
defaultShowLaw	Text.Show.Laws
disjoin	Test.ClassLaws