Index - S
S | Test.ClassLaws.TestingState |
sample | Test.ClassLaws |
sample' | Test.ClassLaws |
semanticCompare | Test.ClassLaws.Partial, Test.ClassLaws |
SemanticEq | Test.ClassLaws.Partial, Test.ClassLaws |
semanticEq | Test.ClassLaws.Partial, Test.ClassLaws |
semanticJoin | Test.ClassLaws.Partial, Test.ClassLaws |
semanticLE | Test.ClassLaws.TestingFinFuns |
semanticMeet | Test.ClassLaws.Partial, Test.ClassLaws |
SemanticOrd | Test.ClassLaws.Partial, Test.ClassLaws |
SemEq | Test.ClassLaws.TestingFinFuns |
semEqFun | Test.ClassLaws.TestingFinFuns |
showFun | Test.ClassLaws.TestingFinFuns |
ShowLaw | Text.Show.Laws |
showLaw | Text.Show.Laws |
ShowLaws | Text.Show.Laws |
showPartial | Test.ClassLaws.Partial, Test.ClassLaws |
showPartialFun | Test.ClassLaws.TestingFinFuns |
shrink | Test.ClassLaws |
Shrink2 | |
1 (Data Constructor) | Test.ClassLaws |
2 (Type/Class) | Test.ClassLaws |
Shrinking | |
1 (Data Constructor) | Test.ClassLaws |
2 (Type/Class) | Test.ClassLaws |
shrinking | Test.ClassLaws |
shrinkInit | Test.ClassLaws |
shrinkIntegral | Test.ClassLaws |
shrinkNothing | Test.ClassLaws |
shrinkPartial | Test.ClassLaws.Partial, Test.ClassLaws |
shrinkRealFrac | Test.ClassLaws |
ShrinkState | Test.ClassLaws |
shrinkState | Test.ClassLaws |
sized | Test.ClassLaws |
sized' | Test.ClassLaws.Partial, Test.ClassLaws |
Smart | |
1 (Data Constructor) | Test.ClassLaws |
2 (Type/Class) | Test.ClassLaws |
sndP | Test.ClassLaws.TestingState |
snoc | Test.ClassLaws.TestingDatatypes |
SS | |
1 (Type/Class) | Test.ClassLaws.TestingState |
2 (Data Constructor) | Test.ClassLaws.TestingState |
State | Test.ClassLaws.TestingState |
statePatt | Test.ClassLaws.TestingState |
stdArgs | Test.ClassLaws |
Str | Test.ClassLaws |
Success | Test.ClassLaws |
suchThat | Test.ClassLaws |
suchThatMaybe | Test.ClassLaws |