| C | Test.LeanCheck.Utils.Types, 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 |
| clarifiedBindings | Test.LeanCheck.Function.ShowFunction |
| classify | Test.LeanCheck.Stats, Test.LeanCheck.Utils |
| classifyBy | Test.LeanCheck.Stats, Test.LeanCheck.Utils |
| classifyOn | Test.LeanCheck.Stats, Test.LeanCheck.Utils |
| classStats | Test.LeanCheck.Stats, Test.LeanCheck.Utils |
| classStatsT | Test.LeanCheck.Stats, Test.LeanCheck.Utils |
| commutative | Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils |
| compareFor | Test.LeanCheck.Function.List |
| 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 |
| conditionStats | Test.LeanCheck.Stats, Test.LeanCheck.Utils |
| conditionStatsT | Test.LeanCheck.Stats, Test.LeanCheck.Utils |
| 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 |
| 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 |
| counts | Test.LeanCheck.Stats, Test.LeanCheck.Utils |
| countsBy | Test.LeanCheck.Stats, Test.LeanCheck.Utils |
| countsOn | Test.LeanCheck.Stats, Test.LeanCheck.Utils |