genvalidity-hspec-1.0.0.3: Standard spec's for GenValidity instances

Index

<> | Test.Validity
annotate | Test.Validity
Anon |
1 (Type/Class) | Test.Validity.Utils
2 (Data Constructor) | Test.Validity.Utils
antireflexiveOnElem | Test.Validity
antireflexivity | Test.Validity
antireflexivityOnArbitrary | Test.Validity
antireflexivityOnGen | Test.Validity
antisymmetricOnElemsWithEquality | Test.Validity
antisymmetry | Test.Validity
antisymmetryOnArbitrary | Test.Validity
antisymmetryOnGens | Test.Validity
antisymmetryOnGensWithEquality | Test.Validity
applicativeSpec | Test.Validity.Applicative, Test.Validity
applicativeSpecOnArbitrary | Test.Validity.Applicative, Test.Validity
applicativeSpecOnGens | Test.Validity.Applicative, Test.Validity
arbitraryGeneratesOnlyValid | Test.Validity.Arbitrary, Test.Validity
arbitrarySpec | Test.Validity.Arbitrary, Test.Validity
arbPartition | Test.Validity
associative | Test.Validity
associativeOnArbitrary | Test.Validity
associativeOnGens | Test.Validity
binRelStr | Test.Validity.Utils
CanFail | Test.Validity
check | Test.Validity
checkValidity | Test.Validity
commutative | Test.Validity
commutativeOnArbitrary | Test.Validity
commutativeOnGens | Test.Validity
constructValid | Test.Validity
constructValidUnsafe | Test.Validity
declare | Test.Validity
decorate | Test.Validity
decorateList | Test.Validity
decorateString | Test.Validity
delve | Test.Validity
eqSpec | Test.Validity.Eq, Test.Validity
eqSpecOnArbitrary | Test.Validity.Eq, Test.Validity
eqSpecOnGen | Test.Validity.Eq, Test.Validity
equivalent | Test.Validity
equivalent2 | Test.Validity
equivalent3 | Test.Validity
equivalentOnArbitrary | Test.Validity
equivalentOnArbitrary2 | Test.Validity
equivalentOnArbitrary3 | Test.Validity
equivalentOnGen | Test.Validity
equivalentOnGens2 | Test.Validity
equivalentOnGens3 | Test.Validity
equivalentWhenFirstSucceeds | Test.Validity
equivalentWhenFirstSucceeds2 | Test.Validity
equivalentWhenFirstSucceedsOnArbitrary | Test.Validity
equivalentWhenFirstSucceedsOnArbitrary2 | Test.Validity
equivalentWhenFirstSucceedsOnGen | Test.Validity
equivalentWhenFirstSucceedsOnGens2 | Test.Validity
equivalentWhenSecondSucceeds | Test.Validity
equivalentWhenSecondSucceeds2 | Test.Validity
equivalentWhenSecondSucceedsOnArbitrary | Test.Validity
equivalentWhenSecondSucceedsOnArbitrary2 | Test.Validity
equivalentWhenSecondSucceedsOnGen | Test.Validity
equivalentWhenSecondSucceedsOnGens2 | Test.Validity
equivalentWhenSucceed | Test.Validity
equivalentWhenSucceed2 | Test.Validity
equivalentWhenSucceedOnArbitrary | Test.Validity
equivalentWhenSucceedOnArbitrary2 | Test.Validity
equivalentWhenSucceedOnGen | Test.Validity
equivalentWhenSucceedOnGens2 | Test.Validity
failsBecause | Test.Validity.Utils
failsOnGen | Test.Validity
failsOnGens2 | Test.Validity
forAllValid | Test.Validity
functorSpec | Test.Validity.Functor, Test.Validity
functorSpecOnArbitrary | Test.Validity.Functor, Test.Validity
functorSpecOnGens | Test.Validity.Functor, Test.Validity
genDescr | Test.Validity.Utils
genDouble | Test.Validity
genericValidate | Test.Validity
genFloat | Test.Validity
genFloatX | Test.Validity
genGeneratesInvalid | Test.Validity.GenValidity
genGeneratesValid | Test.Validity.GenValidity, Test.Validity
genInteger | Test.Validity
genIntX | Test.Validity
genLineSeparator | Test.Validity
genListLength | Test.Validity
genListOf | Test.Validity
genListOf1 | Test.Validity
genMaybe | Test.Validity
genNonEmptyOf | Test.Validity
genNonLineSeparator | Test.Validity
genSingleLineString | Test.Validity
genSplit | Test.Validity
genSplit3 | Test.Validity
genSplit4 | Test.Validity
genSplit5 | Test.Validity
genSplit6 | Test.Validity
genSplit7 | Test.Validity
genSplit8 | Test.Validity
genStringBy | Test.Validity
genStringBy1 | Test.Validity
genUtf16SurrogateCodePoint | Test.Validity
GenValid | Test.Validity
genValid | Test.Validity
genValidGeneratesValid | Test.Validity.GenValidity, Test.Validity
genValidSpec | Test.Validity.GenValidity, Test.Validity
genValidStructurally | Test.Validity
genValidStructurallyWithoutExtraChecking | Test.Validity
genWordX | Test.Validity
GGenValid | Test.Validity
gGenValid | Test.Validity
GValidRecursivelyShrink | Test.Validity
gValidRecursivelyShrink | Test.Validity
GValidSubterms | Test.Validity
gValidSubterms | Test.Validity
GValidSubtermsIncl | Test.Validity
gValidSubtermsIncl | Test.Validity
hasFailed | Test.Validity
idempotent | Test.Validity
idempotentOnArbitrary | Test.Validity
idempotentOnGen | Test.Validity
identity | Test.Validity
identityOnArbitrary | Test.Validity
identityOnGen | Test.Validity
invalid | Test.Validity
inverseFunctions | Test.Validity
inverseFunctionsIfFirstSucceeds | Test.Validity
inverseFunctionsIfFirstSucceedsOnArbitrary | Test.Validity
inverseFunctionsIfFirstSucceedsOnGen | Test.Validity
inverseFunctionsIfSecondSucceeds | Test.Validity
inverseFunctionsIfSecondSucceedsOnArbitrary | Test.Validity
inverseFunctionsIfSecondSucceedsOnGen | Test.Validity
inverseFunctionsIfSucceed | Test.Validity
inverseFunctionsIfSucceedOnArbitrary | Test.Validity
inverseFunctionsIfSucceedOnGen | Test.Validity
inverseFunctionsOnArbitrary | Test.Validity
inverseFunctionsOnGen | Test.Validity
isInvalid | Test.Validity
isLineSeparator | Test.Validity
isSingleLine | Test.Validity
isUtf16SurrogateCodePoint | Test.Validity
isValid | Test.Validity
leftIdentity | Test.Validity
leftIdentityOnArbitrary | Test.Validity
leftIdentityOnElemWithEquality | Test.Validity
leftIdentityOnGen | Test.Validity
leftIdentityOnGenWithEquality | Test.Validity
Location | Test.Validity
mappend | Test.Validity
mconcat | Test.Validity
mempty | Test.Validity
monadSpec | Test.Validity.Monad, Test.Validity
monadSpecOnArbitrary | Test.Validity.Monad, Test.Validity
monadSpecOnGens | Test.Validity.Monad, Test.Validity
Monoid | Test.Validity
monoidSpec | Test.Validity.Monoid, Test.Validity
monoidSpecOnArbitrary | Test.Validity.Monoid, Test.Validity
monoidSpecOnGen | Test.Validity.Monoid, Test.Validity
monoidSpecOnValid | Test.Validity.Monoid
nameOf | Test.Validity.Utils
ordSpec | Test.Validity.Ord, Test.Validity
ordSpecOnArbitrary | Test.Validity.Ord, Test.Validity
ordSpecOnGen | Test.Validity.Ord, Test.Validity
prettyValidate | Test.Validity
prettyValidation | Test.Validity
producesValid | Test.Validity
producesValid2 | Test.Validity
producesValid3 | Test.Validity
producesValidsOnArbitrary | Test.Validity
producesValidsOnArbitrary2 | Test.Validity
producesValidsOnArbitrary3 | Test.Validity
producesValidsOnGen | Test.Validity
producesValidsOnGens2 | Test.Validity
producesValidsOnGens3 | Test.Validity
reflexiveOnElem | Test.Validity
reflexivity | Test.Validity
reflexivityOnArbitrary | Test.Validity
reflexivityOnGen | Test.Validity
resultIfSucceeded | Test.Validity
rightIdentity | Test.Validity
rightIdentityOnArbitrary | Test.Validity
rightIdentityOnElemWithEquality | Test.Validity
rightIdentityOnGen | Test.Validity
rightIdentityOnGenWithEquality | Test.Validity
Semigroup | Test.Validity
shouldBeInvalid | Test.Validity.Utils, Test.Validity
shouldBeValid | Test.Validity.Utils, Test.Validity
shouldFail | Test.Validity.Utils
showReadRoundTrip | Test.Validity.Show
showReadRoundTripOnArbitrary | Test.Validity.Show
showReadRoundTripOnGen | Test.Validity.Show
showReadSpec | Test.Validity.Show, Test.Validity
showReadSpecOnArbitrary | Test.Validity.Show, Test.Validity
showReadSpecOnGen | Test.Validity.Show, Test.Validity
shrinkingPreserves | Test.Validity.Shrinking, Test.Validity
shrinkingStaysValid | Test.Validity.Shrinking, Test.Validity
shrinkList | Test.Validity
shrinkMaybe | Test.Validity
shrinkNonEmpty | Test.Validity
shrinkPreservesValidOnGenValid | Test.Validity.Shrinking, Test.Validity
shrinkQuadruple | Test.Validity
shrinkT2 | Test.Validity
shrinkT3 | Test.Validity
shrinkT4 | Test.Validity
shrinkTriple | Test.Validity
shrinkTuple | Test.Validity
shrinkValid | Test.Validity
shrinkValidDoesNotShrinkToItself | Test.Validity.Shrinking
shrinkValidDoesNotShrinkToItselfWithLimit | Test.Validity.Shrinking
shrinkValidPreservesValid | Test.Validity.Shrinking, Test.Validity
shrinkValidPreservesValidOnGenValid | Test.Validity.Shrinking, Test.Validity
shrinkValidPreservesValidOnGenValidWithLimit | Test.Validity.Shrinking
shrinkValidSpec | Test.Validity.Shrinking, Test.Validity
shrinkValidSpecWithLimit | Test.Validity.Shrinking, Test.Validity
shrinkValidStructurally | Test.Validity
shrinkValidStructurallyWithoutExtraFiltering | Test.Validity
shuffle | Test.Validity
structurallyValidSubterms | Test.Validity
succeeds | Test.Validity
succeeds2 | Test.Validity
succeedsOnArbitrary | Test.Validity
succeedsOnArbitrary2 | Test.Validity
succeedsOnGen | Test.Validity
succeedsOnGens2 | Test.Validity
symmetricOnElems | Test.Validity
symmetry | Test.Validity
symmetryOnArbitrary | Test.Validity
symmetryOnGens | Test.Validity
transitiveOnElems | Test.Validity
transitivity | Test.Validity
transitivityOnArbitrary | Test.Validity
transitivityOnGens | Test.Validity
trivialValidation | Test.Validity
unValidation | Test.Validity
upTo | Test.Validity
valid | Test.Validity
validate | Test.Validity
validateCharNotLineSeparator | Test.Validity
validateCharNotUtf16SurrogateCodePoint | Test.Validity
validateNotInfinite | Test.Validity
validateNotNaN | Test.Validity
validateRatioNormalised | Test.Validity
validateRatioNotInfinite | Test.Validity
validateRatioNotNaN | Test.Validity
validateStringSingleLine | Test.Validity
Validation |
1 (Type/Class) | Test.Validity
2 (Data Constructor) | Test.Validity
ValidationChain | Test.Validity
validationIsValid | Test.Validity
validIfSucceeds | Test.Validity
validIfSucceeds2 | Test.Validity
validIfSucceeds3 | Test.Validity
validIfSucceedsOnArbitrary | Test.Validity
validIfSucceedsOnArbitrary2 | Test.Validity
validIfSucceedsOnArbitrary3 | Test.Validity
validIfSucceedsOnGen | Test.Validity
validIfSucceedsOnGens2 | Test.Validity
validIfSucceedsOnGens3 | Test.Validity
Validity | Test.Validity
Violated | Test.Validity