Index - I
| I | Predicate |
| Id | Predicate |
| IdT | Predicate |
| If | Predicate |
| IfT | UtilP |
| Imply | Predicate |
| imply | UtilP |
| Init | Predicate |
| Init' | Predicate |
| InitDef | Predicate |
| InitFail | Predicate |
| InitP | Predicate |
| Inits | Predicate |
| Intercalate | Predicate |
| IntersperseT | UtilP |
| Ip | Refined3Helper |
| ip | Refined3Helper |
| Ip4StrictRE | Refined3Helper |
| Ipfmt | Refined3Helper |
| Ipip | Refined3Helper |
| Ipop | Refined3Helper |
| IsCharSet | Predicate |
| IsControl | Predicate |
| IsEmpty | Predicate |
| IsFixImpl | Predicate |
| IsHexDigit | Predicate |
| IsInfix | Predicate |
| IsInfixI | Predicate |
| IsJust | Predicate |
| IsLatin1 | Predicate |
| IsLeft | Predicate |
| IsLower | Predicate |
| IsNothing | Predicate |
| IsNumber | Predicate |
| IsOctDigit | Predicate |
| IsPrefix | Predicate |
| IsPrefixI | Predicate |
| isPrime | UtilP |
| IsPunctuation | Predicate |
| IsRight | Predicate |
| IsSeparator | Predicate |
| IsSpace | Predicate |
| IsSuffix | Predicate |
| IsSuffixI | Predicate |
| IsTh | Predicate |
| IsThat | Predicate |
| IsThese | Predicate |
| IsThis | Predicate |
| isTrue | UtilP |
| IsUpper | Predicate |
| IterateN | Predicate |
| IterateNUntil | Predicate |
| IterateNWhile | Predicate |
| IterateUntil | Predicate |
| IterateWhile | Predicate |
| IToList | Predicate |
| IToList' | Predicate |
| Ix | Predicate |
| Ix' | Predicate |
| IxL | Predicate |