| :* | Data.Extensible.Product, Data.Extensible |
| :| | Data.Extensible.Sum, Data.Extensible |
| <$?~ | Data.Extensible.Union |
| <% | Data.Extensible.Plain, Data.Extensible |
| <%| | Data.Extensible.Plain, Data.Extensible |
| <:* | Data.Extensible.Product, Data.Extensible |
| <:| | Data.Extensible.Sum, Data.Extensible |
| <?% | Data.Extensible.Plain, Data.Extensible |
| <?~ | Data.Extensible.League |
| AllOf | Data.Extensible.Plain, Data.Extensible |
| bury | Data.Extensible.Plain, Data.Extensible |
| caseOf | Data.Extensible.Match, Data.Extensible |
| ClassComp | Data.Extensible.Product, Data.Extensible |
| comparePosition | Data.Extensible.Internal |
| DNat | Data.Extensible.Internal |
| embed | Data.Extensible.Sum, Data.Extensible |
| exhaust | Data.Extensible.Sum, Data.Extensible |
| Flux | |
| 1 (Type/Class) | Data.Extensible.Union |
| 2 (Data Constructor) | Data.Extensible.Union |
| Forall | Data.Extensible.Product, Data.Extensible |
| Fuse | |
| 1 (Type/Class) | Data.Extensible.League |
| 2 (Data Constructor) | Data.Extensible.League |
| Generate | Data.Extensible.Product, Data.Extensible |
| generate | Data.Extensible.Product, Data.Extensible |
| generateFor | Data.Extensible.Product, Data.Extensible |
| getFuse | Data.Extensible.League |
| getK0 | Data.Extensible.Plain, Data.Extensible |
| getLeague | |
| 1 (Function) | Data.Extensible.League |
| 2 (Function) | Data.Extensible.Union |
| Half | Data.Extensible.Internal |
| Here | Data.Extensible.Internal |
| here | Data.Extensible.Internal |
| hfoldMap | Data.Extensible.Product, Data.Extensible |
| hhead | Data.Extensible.Product, Data.Extensible |
| hlookup | Data.Extensible.Product, Data.Extensible |
| hmap | Data.Extensible.Product, Data.Extensible |
| hoist | Data.Extensible.Sum, Data.Extensible |
| htail | Data.Extensible.Product, Data.Extensible |
| htraverse | Data.Extensible.Product, Data.Extensible |
| huncons | Data.Extensible.Product, Data.Extensible |
| hzipWith | Data.Extensible.Product, Data.Extensible |
| hzipWith3 | Data.Extensible.Product, Data.Extensible |
| Include | Data.Extensible.Inclusion, Data.Extensible |
| inclusion | Data.Extensible.Inclusion, Data.Extensible |
| K0 | |
| 1 (Type/Class) | Data.Extensible.Plain, Data.Extensible |
| 2 (Data Constructor) | Data.Extensible.Plain, Data.Extensible |
| League | |
| 1 (Type/Class) | Data.Extensible.League |
| 2 (Data Constructor) | Data.Extensible.League |
| lemmaHalfTail | Data.Extensible.Internal |
| liftL | Data.Extensible.League |
| liftU | Data.Extensible.Union |
| Lookup | Data.Extensible.Internal |
| mapFlux | Data.Extensible.Union |
| mapFuse | Data.Extensible.League |
| mapMatch | Data.Extensible.Match, Data.Extensible |
| Match | |
| 1 (Type/Class) | Data.Extensible.Match, Data.Extensible |
| 2 (Data Constructor) | Data.Extensible.Match, Data.Extensible |
| match | Data.Extensible.Match, Data.Extensible |
| meltdown | Data.Extensible.League |
| Member | Data.Extensible.Internal, Data.Extensible |
| membership | Data.Extensible.Internal, Data.Extensible |
| Nat | Data.Extensible.Internal |
| Nav | Data.Extensible.Internal |
| navigate | Data.Extensible.Internal |
| NavL | Data.Extensible.Internal |
| navL | Data.Extensible.Internal |
| NavR | Data.Extensible.Internal |
| navR | Data.Extensible.Internal |
| Nil | Data.Extensible.Product, Data.Extensible |
| NotFound | Data.Extensible.Internal |
| OneOf | Data.Extensible.Plain, Data.Extensible |
| picked | Data.Extensible.Sum, Data.Extensible |
| pluck | Data.Extensible.Plain, Data.Extensible |
| Position | Data.Extensible.Internal, Data.Extensible |
| Record | Data.Extensible.Internal |
| record | Data.Extensible.Plain, Data.Extensible |
| runMatch | Data.Extensible.Match, Data.Extensible |
| runPosition | Data.Extensible.Internal, Data.Extensible |
| SDNat | Data.Extensible.Internal |
| sector | Data.Extensible.Product, Data.Extensible |
| sectorAt | Data.Extensible.Product, Data.Extensible |
| shrink | Data.Extensible.Inclusion, Data.Extensible |
| spread | Data.Extensible.Inclusion, Data.Extensible |
| Succ | Data.Extensible.Internal |
| Tail | Data.Extensible.Internal |
| theInt | Data.Extensible.Internal |
| Tree | Data.Extensible.Product, Data.Extensible |
| Union | |
| 1 (Type/Class) | Data.Extensible.Union |
| 2 (Data Constructor) | Data.Extensible.Union |
| UnionAt | Data.Extensible.Sum, Data.Extensible |
| Zero | Data.Extensible.Internal |
| ∈ | Data.Extensible.Internal, Data.Extensible |
| ⊆ | Data.Extensible.Inclusion, Data.Extensible |