Index
| :* | Data.Extensible |
| :| | Data.Extensible |
| <% | Data.Extensible |
| <:* | Data.Extensible |
| <:| | Data.Extensible |
| <?! | Data.Extensible |
| <?% | Data.Extensible |
| exhaust | Data.Extensible |
| getK0 | Data.Extensible |
| getK1 | Data.Extensible |
| getUnion | Data.Extensible |
| inS | Data.Extensible |
| K0 | |
| 1 (Type/Class) | Data.Extensible |
| 2 (Data Constructor) | Data.Extensible |
| K1 | |
| 1 (Type/Class) | Data.Extensible |
| 2 (Data Constructor) | Data.Extensible |
| liftU | Data.Extensible |
| Match | |
| 1 (Type/Class) | Data.Extensible |
| 2 (Data Constructor) | Data.Extensible |
| match | Data.Extensible |
| Nil | Data.Extensible |
| outP | Data.Extensible |
| platter | Data.Extensible |
| Position | Data.Extensible |
| position | Data.Extensible |
| record | Data.Extensible |
| recordAt | Data.Extensible |
| runMatch | Data.Extensible |
| Tree | Data.Extensible |
| unconsP | Data.Extensible |
| Union | |
| 1 (Type/Class) | Data.Extensible |
| 2 (Data Constructor) | Data.Extensible |
| UnionAt | Data.Extensible |
| ∈ | Data.Extensible |