| :~~~: | Polysemy.Check.Arbitrary.Generic |
| ArbitraryAction | Polysemy.Check.Arbitrary.AnyEff, Polysemy.Check |
| arbitraryAction | Polysemy.Check.Arbitrary, Polysemy.Check |
| arbitraryActionFromRow | Polysemy.Check.Arbitrary, Polysemy.Check |
| arbitraryActionFromRowOfType | Polysemy.Check.Arbitrary, Polysemy.Check |
| arbitraryActionOfType | Polysemy.Check.Arbitrary, Polysemy.Check |
| ArbitraryEff | Polysemy.Check.Arbitrary.AnyEff, Polysemy.Check |
| ArbitraryEffOfType | Polysemy.Check.Arbitrary.AnyEff, Polysemy.Check |
| ArbitraryForAll | Polysemy.Check.Arbitrary.AnyEff |
| deriveGenericK | Polysemy.Check |
| GArbitraryK | Polysemy.Check.Arbitrary.Generic, Polysemy.Check |
| garbitraryk | Polysemy.Check.Arbitrary.Generic |
| GArbitraryK1 | Polysemy.Check.Arbitrary.Generic |
| garbitraryk1 | Polysemy.Check.Arbitrary.Generic |
| GArbitraryKTerm | Polysemy.Check.Arbitrary.Generic |
| garbitrarykterm | Polysemy.Check.Arbitrary.Generic |
| genEff | Polysemy.Check.Arbitrary.Generic |
| GenericK | Polysemy.Check |
| genSomeAction | Polysemy.Check.Arbitrary.AnyEff |
| genSomeEff | Polysemy.Check.Arbitrary.AnyEff |
| genSomeEffOfType | Polysemy.Check.Arbitrary.AnyEff |
| GTypesOf | Polysemy.Check.Arbitrary.AnyEff |
| Inject | Polysemy.Internal.Union.Inject |
| inject | Polysemy.Internal.Union.Inject |
| prepropCommutative | Polysemy.Check |
| prepropEquivalent | Polysemy.Check |
| prepropLaw | Polysemy.Check |
| send | Polysemy.Check |
| SomeAction | |
| 1 (Type/Class) | Polysemy.Check.Arbitrary.AnyEff, Polysemy.Check |
| 2 (Data Constructor) | Polysemy.Check.Arbitrary.AnyEff, Polysemy.Check |
| SomeEff | |
| 1 (Type/Class) | Polysemy.Check.Arbitrary.AnyEff, Polysemy.Check |
| 2 (Data Constructor) | Polysemy.Check.Arbitrary.AnyEff, Polysemy.Check |
| SomeEffOfType | |
| 1 (Type/Class) | Polysemy.Check.Arbitrary.AnyEff, Polysemy.Check |
| 2 (Data Constructor) | Polysemy.Check.Arbitrary.AnyEff, Polysemy.Check |
| TypesOf | Polysemy.Check.Arbitrary.AnyEff, Polysemy.Check |