Index
| $= | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| &&& | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| &&&& | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| +| | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| -: | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| -:> | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| ->: | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| ->:> | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| ->>: | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| ->>:> | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| ->>>: | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| =$ | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| === | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| ==== | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| ==> | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| =| | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| >- | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| >< | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| addWeight | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| alts0 | Test.LeanCheck.Function.CoListable |
| alts1 | Test.LeanCheck.Function.CoListable |
| alts2 | Test.LeanCheck.Function.CoListable |
| alts3 | Test.LeanCheck.Function.CoListable |
| antisymmetric | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| anyErrorToNothing | Test.LeanCheck.Error |
| associations | Test.LeanCheck.Function.ListsOfPairs |
| associative | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| asymmetric | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| bagChoices | Test.LeanCheck.Tiers |
| bagCons | Test.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error |
| bagsOf | Test.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error |
| Binding | Test.LeanCheck.Function.ShowFunction |
| bindings | Test.LeanCheck.Function.ShowFunction |
| bool | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| catMaybesT | Test.LeanCheck.Tiers |
| char | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| check | Test.LeanCheck.IO, Test.LeanCheck, Test.LeanCheck.Error |
| checkFor | Test.LeanCheck.IO, Test.LeanCheck, Test.LeanCheck.Error |
| checkResult | Test.LeanCheck.IO, Test.LeanCheck, Test.LeanCheck.Error |
| checkResultFor | Test.LeanCheck.IO, Test.LeanCheck, Test.LeanCheck.Error |
| choices | Test.LeanCheck.Tiers |
| CoListable | Test.LeanCheck.Function.CoListable |
| commutative | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| comparison | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| concatMapT | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| concatT | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| cons0 | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| cons1 | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| cons10 | Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| cons11 | Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| cons12 | Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| cons2 | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| cons3 | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| cons4 | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| cons5 | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| cons6 | Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| cons7 | Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| cons8 | Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| cons9 | Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| cotiers | Test.LeanCheck.Function.CoListable |
| counterExample | |
| 1 (Function) | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck |
| 2 (Function) | Test.LeanCheck.Error |
| counterExamples | |
| 1 (Function) | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck |
| 2 (Function) | Test.LeanCheck.Error |
| defaultFunPairsToFunction | Test.LeanCheck.Function.ListsOfPairs |
| deleteT | Test.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error |
| deriveListable | Test.LeanCheck.Derive, Test.LeanCheck, Test.LeanCheck.Error |
| deriveListableCascading | Test.LeanCheck.Derive, Test.LeanCheck, Test.LeanCheck.Error |
| deriveListableIfNeeded | Test.LeanCheck.Derive |
| distinctPairs | Test.LeanCheck.Tiers |
| distinctPairsWith | Test.LeanCheck.Tiers |
| distributive | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| double | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| eith | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| equivalence | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| errorToFalse | Test.LeanCheck.Error |
| errorToNothing | Test.LeanCheck.Error |
| errorToTrue | Test.LeanCheck.Error |
| exists | |
| 1 (Function) | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck |
| 2 (Function) | Test.LeanCheck.Error |
| fails | |
| 1 (Function) | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck |
| 2 (Function) | Test.LeanCheck.Error |
| filterT | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| float | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| fromError | Test.LeanCheck.Error |
| ftiers | Test.LeanCheck.Function.CoListable |
| functionPairs | Test.LeanCheck.Function.ListsOfPairs |
| functions | Test.LeanCheck.Function.Periodic |
| functionsz | Test.LeanCheck.Function.Periodic |
| holds | |
| 1 (Function) | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck |
| 2 (Function) | Test.LeanCheck.Error |
| idempotent | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| identity | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| int | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| Int1 | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| int1 | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| Int2 | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| int2 | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| Int3 | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| int3 | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| Int4 | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| int4 | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| integer | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| irreflexive | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| isPeriod | Test.LeanCheck.Function.Periodic |
| isPeriodOf | Test.LeanCheck.Function.Periodic |
| list | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| Listable | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error, Test.LeanCheck.Function.ShowFunction |
| listCons | Test.LeanCheck.Tiers |
| listIntegral | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| listsOf | Test.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error |
| listsOfLength | Test.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error |
| lsPeriodsOf | Test.LeanCheck.Function.Periodic |
| lsPeriodsOfLimit | Test.LeanCheck.Function.Periodic |
| mapMaybeT | Test.LeanCheck.Tiers |
| mapT | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| mayb | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| maybeCons0 | Test.LeanCheck.Tiers |
| maybeCons1 | Test.LeanCheck.Tiers |
| maybeCons2 | Test.LeanCheck.Tiers |
| Nat | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| nat | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| Nat1 | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| Nat2 | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| Nat3 | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| Nat4 | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| Nat5 | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| Nat6 | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| Nat7 | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| neverIdentity | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| noDupListCons | Test.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error |
| noDupListsOf | Test.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error |
| normalizeT | Test.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error |
| ofWeight | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| okEq | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| okEqOrd | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| okOrd | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| pairsToFunction | |
| 1 (Function) | Test.LeanCheck.Function.ListsOfPairs |
| 2 (Function) | Test.LeanCheck.Function.Periodic |
| partialOrder | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| product3 | Test.LeanCheck.Tiers |
| product3With | Test.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error |
| productMaybeWith | Test.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error |
| products | Test.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error |
| productWith | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| reflexive | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| resultiers | Test.LeanCheck.Core, Test.LeanCheck.Basic |
| results | |
| 1 (Function) | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck |
| 2 (Function) | Test.LeanCheck.Error |
| setChoices | Test.LeanCheck.Tiers |
| setCons | Test.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error |
| setsOf | Test.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error |
| ShowFunction | Test.LeanCheck.Function.ShowFunction |
| showFunction | Test.LeanCheck.Function.ShowFunction |
| showFunctionLine | Test.LeanCheck.Function.ShowFunction |
| strictPartialOrder | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| strictTotalOrder | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| string | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| suchThat | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| symmetric | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| symmetric2 | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| tBindings | Test.LeanCheck.Function.ShowFunction |
| tBindingsShow | Test.LeanCheck.Function.ShowFunction |
| Testable | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| tiers | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| tiersFractional | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| tiersOfLimit | Test.LeanCheck.Function.Periodic |
| totalOrder | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| toTiers | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| transitive | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| UInt1 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| uint1 | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| UInt2 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| uint2 | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| UInt3 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| uint3 | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| UInt4 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| uint4 | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| und | Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils |
| unInt1 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| unInt2 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| unInt3 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| unInt4 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| unNat | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| unNat1 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| unNat2 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| unNat3 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| unNat4 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| unNat5 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| unNat6 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| unNat7 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| unorderedDistinctPairs | Test.LeanCheck.Tiers |
| unorderedDistinctPairsWith | Test.LeanCheck.Tiers |
| unorderedPairs | Test.LeanCheck.Tiers |
| unorderedPairsWith | Test.LeanCheck.Tiers |
| unWord1 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| unWord2 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| unWord3 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| unWord4 | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| witness | |
| 1 (Function) | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck |
| 2 (Function) | Test.LeanCheck.Error |
| witnesses | |
| 1 (Function) | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck |
| 2 (Function) | Test.LeanCheck.Error |
| Word1 | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| Word2 | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| Word3 | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| Word4 | |
| 1 (Type/Class) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| 2 (Data Constructor) | Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils |
| \+:/ | Test.LeanCheck.Function.CoListable |
| \/ | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| \\// | Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error |
| |= | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| ||| | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| |||| | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |