Index - C
| certainty | Test.SDP.Arbitrary |
| chatty | Test.SDP.Arbitrary |
| checkCoverage | Test.SDP.Arbitrary |
| checkCoverageWith | Test.SDP.Arbitrary |
| choose | Test.SDP.Arbitrary |
| chooseAny | Test.SDP.Arbitrary |
| chooseBoundedIntegral | Test.SDP.Arbitrary |
| chooseEnum | Test.SDP.Arbitrary |
| chooseInt | Test.SDP.Arbitrary |
| chooseInteger | Test.SDP.Arbitrary |
| classes | Test.SDP.Arbitrary |
| classify | Test.SDP.Arbitrary |
| CoArbitrary | Test.SDP.Arbitrary |
| coarbitrary | Test.SDP.Arbitrary |
| coarbitraryEnum | Test.SDP.Arbitrary |
| coarbitraryIntegral | Test.SDP.Arbitrary |
| coarbitraryReal | Test.SDP.Arbitrary |
| coarbitraryShow | Test.SDP.Arbitrary |
| collect | Test.SDP.Arbitrary |
| concatTest | Test.SDP.Linear, Test.SDP |
| Confidence | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| conjoin | Test.SDP.Arbitrary |
| constructionLinearTest | Test.SDP.Linear, Test.SDP |
| counterexample | Test.SDP.Arbitrary |
| cover | Test.SDP.Arbitrary |
| coverTable | Test.SDP.Arbitrary |