| ArbitraryAction | Polysemy.Check.Arbitrary, 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, Polysemy.Check |
| ArbitraryEffOfType | Polysemy.Check.Arbitrary, Polysemy.Check |
| constructorLabel | Polysemy.Check |
| deriveGenericK | Polysemy.Check |
| ExistentialFor | Polysemy.Check.Arbitrary, Polysemy.Check |
| GArbitraryK | Polysemy.Check.Arbitrary, Polysemy.Check |
| garbitraryk | Polysemy.Check.Arbitrary |
| genEff | Polysemy.Check.Arbitrary |
| GenericK | Polysemy.Check |
| genSomeAction | Polysemy.Check.Arbitrary |
| genSomeEff | Polysemy.Check.Arbitrary |
| genSomeEffOfType | Polysemy.Check.Arbitrary |
| GTypesOf | Polysemy.Check.Arbitrary |
| Inject | Polysemy.Internal.Union.Inject |
| inject | Polysemy.Internal.Union.Inject |
| Law | |
| 1 (Type/Class) | Polysemy.Check |
| 2 (Data Constructor) | Polysemy.Check |
| lawLhs | Polysemy.Check |
| lawPostlude | Polysemy.Check |
| lawPrelude | Polysemy.Check |
| lawRhs | Polysemy.Check |
| prepropAllCommutative | Polysemy.Check |
| prepropCommutative | Polysemy.Check |
| prepropEquivalent | Polysemy.Check |
| prepropLaw | Polysemy.Check |
| send | Polysemy.Check |
| simpleLaw | Polysemy.Check |
| SomeAction | |
| 1 (Type/Class) | Polysemy.Check.Arbitrary, Polysemy.Check |
| 2 (Data Constructor) | Polysemy.Check.Arbitrary, Polysemy.Check |
| SomeEff | |
| 1 (Type/Class) | Polysemy.Check.Arbitrary, Polysemy.Check |
| 2 (Data Constructor) | Polysemy.Check.Arbitrary, Polysemy.Check |
| SomeEffOfType | |
| 1 (Type/Class) | Polysemy.Check.Arbitrary, Polysemy.Check |
| 2 (Data Constructor) | Polysemy.Check.Arbitrary, Polysemy.Check |
| SubstRep | Generics.Kind.Unexported |
| substRep | Generics.Kind.Unexported |
| SubstRep' | Generics.Kind.Unexported |
| TypesOf | Polysemy.Check.Arbitrary, Polysemy.Check |
| unsubstRep | Generics.Kind.Unexported |