Index - I
| ichar | Wingman.Metaprogramming.Lexer |
| identifier | Wingman.Metaprogramming.Lexer |
| ImportPrv | Wingman.Types |
| infixCall | Wingman.CodeGen.Utils, Wingman.CodeGen |
| infixifyPatIfNecessary | Wingman.CodeGen |
| InfrastructureError | Wingman.Types |
| instantiateType | Wingman.GHC |
| Integral | Wingman.Naming |
| introduce | Wingman.Judgements |
| introduceHypothesis | Wingman.Judgements |
| Intros | Wingman.Types, Wingman.Plugin, Ide.Plugin.Tactic |
| intros | Wingman.Tactics |
| intros' | Wingman.Tactics |
| isAlreadyDestructed | Wingman.Judgements |
| isDestructBlacklisted | Wingman.Judgements |
| isDisallowed | Wingman.Judgements |
| IsFunction | Wingman.Naming |
| isFunction | Wingman.GHC |
| isHole | Wingman.GHC |
| IsList | Wingman.Naming |
| isLocalHypothesis | Wingman.Judgements |
| IsMaybe | Wingman.Naming |
| isPatternMatch | Wingman.Judgements |
| IsPredicate | Wingman.Naming |
| isRhsHole | Wingman.LanguageServer |
| isSplitWhitelisted | Wingman.Judgements |
| IsString | Wingman.Naming |
| isTopHole | Wingman.Judgements |
| isTopLevel | Wingman.Judgements |
| IsTyConned | Wingman.Naming |
| IsTyVarred | Wingman.Naming |
| iterateSplit | Wingman.CaseSplit |