| IfStuck | Polysemy.Internal.CustomErrors.Redefined |
| ignoreOutput | Polysemy.Output |
| ignoreTrace | Polysemy.Trace |
| inj | Polysemy.Internal.Union |
| injBundle | Polysemy.Bundle |
| injectMembership | Polysemy.Internal.Union |
| injUsing | Polysemy.Internal.Union |
| injWeaving | Polysemy.Internal.Union |
| Input | |
| 1 (Type/Class) | Polysemy.Input |
| 2 (Data Constructor) | Polysemy.Input |
| input | Polysemy.Input |
| inputs | Polysemy.Input |
| inputToReader | Polysemy.Reader |
| InScope | Polysemy.Internal.Scoped |
| insertAt | Polysemy.Internal, Polysemy |
| InsertAtFailure | Polysemy.Internal.Index |
| InsertAtIndex | Polysemy.Internal.Index |
| insertAtIndex | Polysemy.Internal.Index |
| InsertAtUnprovidedIndex | Polysemy.Internal.Index |
| inspect | Polysemy.Internal.Tactics, Polysemy |
| Inspector | |
| 1 (Type/Class) | Polysemy.Internal.Tactics, Polysemy |
| 2 (Data Constructor) | Polysemy.Internal.Tactics, Polysemy |
| intercept | Polysemy.Internal.Combinators, Polysemy |
| interceptH | Polysemy.Internal.Combinators, Polysemy |
| interceptUsing | Polysemy.Internal.Combinators, Polysemy.Membership |
| interceptUsingH | Polysemy.Internal.Combinators, Polysemy.Membership |
| interpret | Polysemy.Internal.Combinators, Polysemy |
| InterpreterFor | Polysemy.Internal, Polysemy |
| InterpretersFor | Polysemy.Internal, Polysemy |
| interpretFinal | Polysemy.Final |
| interpretH | Polysemy.Internal.Combinators, Polysemy |
| interpretScoped | Polysemy.Scoped |
| interpretScopedAs | Polysemy.Scoped |
| interpretScopedH | Polysemy.Scoped |
| interpretScopedH' | Polysemy.Scoped |
| interpretScopedWith | Polysemy.Scoped |
| interpretScopedWithH | Polysemy.Scoped |
| interpretScopedWith_ | Polysemy.Scoped |
| interpretViaLazyWriter | Polysemy.Internal.Writer |
| interpretWeaving | Polysemy.Internal.Combinators |