genvalidity-property-1.0.0.0: Standard properties for functions on `Validity` types

Index

<==> | Test.Validity.Property.Utils
<> | Test.Validity.Property
===> | Test.Validity.Property.Utils
annotate | Test.Validity.Property
antireflexiveOnElem | Test.Validity.Relations.Antireflexivity, Test.Validity.Relations, Test.Validity.Property
antireflexivity | Test.Validity.Relations.Antireflexivity, Test.Validity.Relations, Test.Validity.Property
antireflexivityOnArbitrary | Test.Validity.Relations.Antireflexivity, Test.Validity.Relations, Test.Validity.Property
antireflexivityOnGen | Test.Validity.Relations.Antireflexivity, Test.Validity.Relations, Test.Validity.Property
antisymmetricOnElemsWithEquality | Test.Validity.Relations.Antisymmetry, Test.Validity.Relations, Test.Validity.Property
antisymmetry | Test.Validity.Relations.Antisymmetry, Test.Validity.Relations, Test.Validity.Property
antisymmetryOnArbitrary | Test.Validity.Relations.Antisymmetry, Test.Validity.Relations, Test.Validity.Property
antisymmetryOnGens | Test.Validity.Relations.Antisymmetry, Test.Validity.Relations, Test.Validity.Property
antisymmetryOnGensWithEquality | Test.Validity.Relations.Antisymmetry, Test.Validity.Relations, Test.Validity.Property
arbPartition | Test.Validity.Property
associative | Test.Validity.Operations.Associativity, Test.Validity.Operations, Test.Validity.Property
associativeOnArbitrary | Test.Validity.Operations.Associativity, Test.Validity.Operations, Test.Validity.Property
associativeOnGens | Test.Validity.Operations.Associativity, Test.Validity.Operations, Test.Validity.Property
CanFail | Test.Validity.Types, Test.Validity.Property
check | Test.Validity.Property
checkValidity | Test.Validity.Property
commutative | Test.Validity.Operations.Commutativity, Test.Validity.Operations, Test.Validity.Property
commutativeOnArbitrary | Test.Validity.Operations.Commutativity, Test.Validity.Operations, Test.Validity.Property
commutativeOnGens | Test.Validity.Operations.Commutativity, Test.Validity.Operations, Test.Validity.Property
constructValid | Test.Validity.Property
constructValidUnsafe | Test.Validity.Property
declare | Test.Validity.Property
decorate | Test.Validity.Property
decorateList | Test.Validity.Property
decorateString | Test.Validity.Property
delve | Test.Validity.Property
doesNotShrinkToItself | Test.Validity.Shrinking.Property
doesNotShrinkToItselfWithLimit | Test.Validity.Shrinking.Property
equivalent | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalent2 | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalent3 | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentOnArbitrary | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentOnArbitrary2 | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentOnArbitrary3 | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentOnGen | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentOnGens2 | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentOnGens3 | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenFirstSucceeds | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenFirstSucceeds2 | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenFirstSucceedsOnArbitrary | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenFirstSucceedsOnArbitrary2 | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenFirstSucceedsOnGen | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenFirstSucceedsOnGens2 | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenSecondSucceeds | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenSecondSucceeds2 | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenSecondSucceedsOnArbitrary | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenSecondSucceedsOnArbitrary2 | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenSecondSucceedsOnGen | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenSecondSucceedsOnGens2 | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenSucceed | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenSucceed2 | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenSucceedOnArbitrary | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenSucceedOnArbitrary2 | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenSucceedOnGen | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
equivalentWhenSucceedOnGens2 | Test.Validity.Functions.Equivalence, Test.Validity.Functions, Test.Validity.Property
failsOnGen | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
failsOnGens2 | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
forAllValid | Test.Validity.Property.Utils, Test.Validity.Property
genDouble | Test.Validity.Property
genericValidate | Test.Validity.Property
genFloat | Test.Validity.Property
genFloatX | Test.Validity.Property
genGeneratesInvalid | Test.Validity.GenValidity.Property
genGeneratesValid | Test.Validity.GenValidity.Property, Test.Validity.Property
genInteger | Test.Validity.Property
genIntX | Test.Validity.Property
genLineSeparator | Test.Validity.Property
genListLength | Test.Validity.Property
genListOf | Test.Validity.Property
genListOf1 | Test.Validity.Property
genMaybe | Test.Validity.Property
genNonEmptyOf | Test.Validity.Property
genNonLineSeparator | Test.Validity.Property
genSingleLineString | Test.Validity.Property
genSplit | Test.Validity.Property
genSplit3 | Test.Validity.Property
genSplit4 | Test.Validity.Property
genSplit5 | Test.Validity.Property
genSplit6 | Test.Validity.Property
genSplit7 | Test.Validity.Property
genSplit8 | Test.Validity.Property
genStringBy | Test.Validity.Property
genStringBy1 | Test.Validity.Property
genUtf16SurrogateCodePoint | Test.Validity.Property
GenValid | Test.Validity.Property
genValid | Test.Validity.Property
genValidStructurally | Test.Validity.Property
genValidStructurallyWithoutExtraChecking | Test.Validity.Property
genWordX | Test.Validity.Property
GGenValid | Test.Validity.Property
gGenValid | Test.Validity.Property
GValidRecursivelyShrink | Test.Validity.Property
gValidRecursivelyShrink | Test.Validity.Property
GValidSubterms | Test.Validity.Property
gValidSubterms | Test.Validity.Property
GValidSubtermsIncl | Test.Validity.Property
gValidSubtermsIncl | Test.Validity.Property
hasFailed | Test.Validity.Types, Test.Validity.Property
idempotent | Test.Validity.Functions.Idempotence, Test.Validity.Functions, Test.Validity.Property
idempotentOnArbitrary | Test.Validity.Functions.Idempotence, Test.Validity.Functions, Test.Validity.Property
idempotentOnGen | Test.Validity.Functions.Idempotence, Test.Validity.Functions, Test.Validity.Property
identity | Test.Validity.Operations.Identity, Test.Validity.Operations, Test.Validity.Property
identityOnArbitrary | Test.Validity.Operations.Identity, Test.Validity.Operations, Test.Validity.Property
identityOnGen | Test.Validity.Operations.Identity, Test.Validity.Operations, Test.Validity.Property
invalid | Test.Validity.Property
inverseFunctions | Test.Validity.Functions.Inverse, Test.Validity.Functions, Test.Validity.Property
inverseFunctionsIfFirstSucceeds | Test.Validity.Functions.Inverse, Test.Validity.Functions, Test.Validity.Property
inverseFunctionsIfFirstSucceedsOnArbitrary | Test.Validity.Functions.Inverse, Test.Validity.Functions, Test.Validity.Property
inverseFunctionsIfFirstSucceedsOnGen | Test.Validity.Functions.Inverse, Test.Validity.Functions, Test.Validity.Property
inverseFunctionsIfSecondSucceeds | Test.Validity.Functions.Inverse, Test.Validity.Functions, Test.Validity.Property
inverseFunctionsIfSecondSucceedsOnArbitrary | Test.Validity.Functions.Inverse, Test.Validity.Functions, Test.Validity.Property
inverseFunctionsIfSecondSucceedsOnGen | Test.Validity.Functions.Inverse, Test.Validity.Functions, Test.Validity.Property
inverseFunctionsIfSucceed | Test.Validity.Functions.Inverse, Test.Validity.Functions, Test.Validity.Property
inverseFunctionsIfSucceedOnArbitrary | Test.Validity.Functions.Inverse, Test.Validity.Functions, Test.Validity.Property
inverseFunctionsIfSucceedOnGen | Test.Validity.Functions.Inverse, Test.Validity.Functions, Test.Validity.Property
inverseFunctionsOnArbitrary | Test.Validity.Functions.Inverse, Test.Validity.Functions, Test.Validity.Property
inverseFunctionsOnGen | Test.Validity.Functions.Inverse, Test.Validity.Functions, Test.Validity.Property
isInvalid | Test.Validity.Property
isLineSeparator | Test.Validity.Property
isSingleLine | Test.Validity.Property
isUtf16SurrogateCodePoint | Test.Validity.Property
isValid | Test.Validity.Property
leftIdentity | Test.Validity.Operations.Identity, Test.Validity.Operations, Test.Validity.Property
leftIdentityOnArbitrary | Test.Validity.Operations.Identity, Test.Validity.Operations, Test.Validity.Property
leftIdentityOnElemWithEquality | Test.Validity.Operations.Identity, Test.Validity.Operations, Test.Validity.Property
leftIdentityOnGen | Test.Validity.Operations.Identity, Test.Validity.Operations, Test.Validity.Property
leftIdentityOnGenWithEquality | Test.Validity.Operations.Identity, Test.Validity.Operations, Test.Validity.Property
Location | Test.Validity.Property
mappend | Test.Validity.Property
mconcat | Test.Validity.Property
mempty | Test.Validity.Property
Monoid | Test.Validity.Property
prettyValidate | Test.Validity.Property
prettyValidation | Test.Validity.Property
producesValid | Test.Validity.Functions.Validity, Test.Validity.Functions, Test.Validity.Property
producesValid2 | Test.Validity.Functions.Validity, Test.Validity.Functions, Test.Validity.Property
producesValid3 | Test.Validity.Functions.Validity, Test.Validity.Functions, Test.Validity.Property
producesValidsOnArbitrary | Test.Validity.Functions.Validity, Test.Validity.Functions, Test.Validity.Property
producesValidsOnArbitrary2 | Test.Validity.Functions.Validity, Test.Validity.Functions, Test.Validity.Property
producesValidsOnArbitrary3 | Test.Validity.Functions.Validity, Test.Validity.Functions, Test.Validity.Property
producesValidsOnGen | Test.Validity.Functions.Validity, Test.Validity.Functions, Test.Validity.Property
producesValidsOnGens2 | Test.Validity.Functions.Validity, Test.Validity.Functions, Test.Validity.Property
producesValidsOnGens3 | Test.Validity.Functions.Validity, Test.Validity.Functions, Test.Validity.Property
reflexiveOnElem | Test.Validity.Relations.Reflexivity, Test.Validity.Relations, Test.Validity.Property
reflexivity | Test.Validity.Relations.Reflexivity, Test.Validity.Relations, Test.Validity.Property
reflexivityOnArbitrary | Test.Validity.Relations.Reflexivity, Test.Validity.Relations, Test.Validity.Property
reflexivityOnGen | Test.Validity.Relations.Reflexivity, Test.Validity.Relations, Test.Validity.Property
resultIfSucceeded | Test.Validity.Types, Test.Validity.Property
rightIdentity | Test.Validity.Operations.Identity, Test.Validity.Operations, Test.Validity.Property
rightIdentityOnArbitrary | Test.Validity.Operations.Identity, Test.Validity.Operations, Test.Validity.Property
rightIdentityOnElemWithEquality | Test.Validity.Operations.Identity, Test.Validity.Operations, Test.Validity.Property
rightIdentityOnGen | Test.Validity.Operations.Identity, Test.Validity.Operations, Test.Validity.Property
rightIdentityOnGenWithEquality | Test.Validity.Operations.Identity, Test.Validity.Operations, Test.Validity.Property
sconcat | Test.Validity.Property
Semigroup | Test.Validity.Property
shouldBeInvalid | Test.Validity.Property.Utils
shouldBeValid | Test.Validity.Property.Utils
shrinkDoesNotShrinkToItself | Test.Validity.Shrinking.Property
shrinkDoesNotShrinkToItselfOnValid | Test.Validity.Shrinking.Property
shrinkDoesNotShrinkToItselfOnValidWithLimit | Test.Validity.Shrinking.Property
shrinkDoesNotShrinkToItselfWithLimit | Test.Validity.Shrinking.Property
shrinkingPreserves | Test.Validity.Shrinking.Property
shrinkingPreservesWithLimit | Test.Validity.Shrinking.Property
shrinkingStaysValid | Test.Validity.Shrinking.Property
shrinkingStaysValidWithLimit | Test.Validity.Shrinking.Property
shrinkList | Test.Validity.Property
shrinkMaybe | Test.Validity.Property
shrinkNonEmpty | Test.Validity.Property
shrinkPreservesValidOnGenValid | Test.Validity.Shrinking.Property
shrinkQuadruple | Test.Validity.Property
shrinkT2 | Test.Validity.Property
shrinkT3 | Test.Validity.Property
shrinkT4 | Test.Validity.Property
shrinkTriple | Test.Validity.Property
shrinkTuple | Test.Validity.Property
shrinkValid | Test.Validity.Property
shrinkValidPreservesValid | Test.Validity.Shrinking.Property
shrinkValidStructurally | Test.Validity.Property
shrinkValidStructurallyWithoutExtraFiltering | Test.Validity.Property
shuffle | Test.Validity.Property
stimes | Test.Validity.Property
structurallyValidSubterms | Test.Validity.Property
succeeds | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
succeeds2 | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
succeedsOnArbitrary | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
succeedsOnArbitrary2 | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
succeedsOnGen | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
succeedsOnGens2 | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
symmetricOnElems | Test.Validity.Relations.Symmetry, Test.Validity.Relations, Test.Validity.Property
symmetry | Test.Validity.Relations.Symmetry, Test.Validity.Relations, Test.Validity.Property
symmetryOnArbitrary | Test.Validity.Relations.Symmetry, Test.Validity.Relations, Test.Validity.Property
symmetryOnGens | Test.Validity.Relations.Symmetry, Test.Validity.Relations, Test.Validity.Property
transitiveOnElems | Test.Validity.Relations.Transitivity, Test.Validity.Relations, Test.Validity.Property
transitivity | Test.Validity.Relations.Transitivity, Test.Validity.Relations, Test.Validity.Property
transitivityOnArbitrary | Test.Validity.Relations.Transitivity, Test.Validity.Relations, Test.Validity.Property
transitivityOnGens | Test.Validity.Relations.Transitivity, Test.Validity.Relations, Test.Validity.Property
trivialValidation | Test.Validity.Property
unValidation | Test.Validity.Property
upTo | Test.Validity.Property
valid | Test.Validity.Property
validate | Test.Validity.Property
validateCharNotLineSeparator | Test.Validity.Property
validateCharNotUtf16SurrogateCodePoint | Test.Validity.Property
validateNotInfinite | Test.Validity.Property
validateNotNaN | Test.Validity.Property
validateRatioNormalised | Test.Validity.Property
validateRatioNotInfinite | Test.Validity.Property
validateRatioNotNaN | Test.Validity.Property
validateStringSingleLine | Test.Validity.Property
Validation |
1 (Type/Class) | Test.Validity.Property
2 (Data Constructor) | Test.Validity.Property
ValidationChain | Test.Validity.Property
validationIsValid | Test.Validity.Property
validIfSucceeds | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
validIfSucceeds2 | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
validIfSucceeds3 | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
validIfSucceedsOnArbitrary | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
validIfSucceedsOnArbitrary2 | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
validIfSucceedsOnArbitrary3 | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
validIfSucceedsOnGen | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
validIfSucceedsOnGens2 | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
validIfSucceedsOnGens3 | Test.Validity.Functions.CanFail, Test.Validity.Functions, Test.Validity.Property
Validity | Test.Validity.Property
Violated | Test.Validity.Property