| Id | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude |
| IdentitySym0 | Data.Singletons.Prelude.Identity |
| IdentitySym1 | Data.Singletons.Prelude.Identity |
| IdSym0 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude |
| IdSym1 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude |
| If | Data.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| Init | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| Inits | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| InitsSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| InitsSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| InitSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| InitSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| Insert | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| InsertBy | Data.Singletons.Prelude.List |
| InsertBySym0 | Data.Singletons.Prelude.List |
| InsertBySym1 | Data.Singletons.Prelude.List |
| InsertBySym2 | Data.Singletons.Prelude.List |
| InsertBySym3 | Data.Singletons.Prelude.List |
| InsertSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| InsertSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| InsertSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| Intercalate | Data.Singletons.Prelude.List |
| IntercalateSym0 | Data.Singletons.Prelude.List |
| IntercalateSym1 | Data.Singletons.Prelude.List |
| IntercalateSym2 | Data.Singletons.Prelude.List |
| Intersect | Data.Singletons.Prelude.List |
| IntersectBy | Data.Singletons.Prelude.List |
| IntersectBySym0 | Data.Singletons.Prelude.List |
| IntersectBySym1 | Data.Singletons.Prelude.List |
| IntersectBySym2 | Data.Singletons.Prelude.List |
| IntersectBySym3 | Data.Singletons.Prelude.List |
| IntersectSym0 | Data.Singletons.Prelude.List |
| IntersectSym1 | Data.Singletons.Prelude.List |
| IntersectSym2 | Data.Singletons.Prelude.List |
| Intersperse | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| IntersperseSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| IntersperseSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| IntersperseSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| IsInfixOf | Data.Singletons.Prelude.List |
| IsInfixOfSym0 | Data.Singletons.Prelude.List |
| IsInfixOfSym1 | Data.Singletons.Prelude.List |
| IsInfixOfSym2 | Data.Singletons.Prelude.List |
| IsJust | Data.Singletons.Prelude.Maybe |
| IsJustSym0 | Data.Singletons.Prelude.Maybe |
| IsJustSym1 | Data.Singletons.Prelude.Maybe |
| IsLeft | Data.Singletons.Prelude.Either |
| IsLeftSym0 | Data.Singletons.Prelude.Either |
| IsLeftSym1 | Data.Singletons.Prelude.Either |
| IsNothing | Data.Singletons.Prelude.Maybe |
| IsNothingSym0 | Data.Singletons.Prelude.Maybe |
| IsNothingSym1 | Data.Singletons.Prelude.Maybe |
| IsPrefixOf | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| IsPrefixOfSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| IsPrefixOfSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| IsPrefixOfSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| IsRight | Data.Singletons.Prelude.Either |
| IsRightSym0 | Data.Singletons.Prelude.Either |
| IsRightSym1 | Data.Singletons.Prelude.Either |
| IsSuffixOf | Data.Singletons.Prelude.List |
| IsSuffixOfSym0 | Data.Singletons.Prelude.List |
| IsSuffixOfSym1 | Data.Singletons.Prelude.List |
| IsSuffixOfSym2 | Data.Singletons.Prelude.List |