| GaloisConnection | Proarrow.Adjunction |
| gen | Proarrow.Testing |
| GenArrow | |
| 1 (Type/Class) | Proarrow.Category.Enriched |
| 2 (Data Constructor) | Proarrow.Category.Enriched |
| genBoth | Proarrow.Testing |
| genElements | Proarrow.Testing |
| GenElt | |
| 1 (Type/Class) | Proarrow.Monoid |
| 2 (Data Constructor) | Proarrow.Monoid |
| GenEmpty | Proarrow.Testing |
| generatedSieve | Proarrow.Category.Enriched.Finitary.Sheaf |
| genNamed | Proarrow.Testing |
| GenNonEmpty | Proarrow.Testing |
| genOb | Proarrow.Testing |
| genObSmall | Proarrow.Testing |
| genObSuchThat | Proarrow.Testing |
| genObSuchThatWith | Proarrow.Testing |
| genP | Proarrow.Testing |
| genProfunctorElt | Proarrow.Testing |
| genSome | Proarrow.Testing |
| genSomeDef | Proarrow.Testing |
| genSomeFinite | Proarrow.Testing |
| genSomeList | Proarrow.Testing |
| genSomeSmall | Proarrow.Testing |
| genSuchThat | Proarrow.Testing |
| GenTotal | Proarrow.Testing |
| genWithNamed | Proarrow.Testing |
| Geo | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Svg |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Svg |
| geoHeight | Proarrow.Tools.Diagrams.Svg |
| geoIns | Proarrow.Tools.Diagrams.Svg |
| geoOuts | Proarrow.Tools.Diagrams.Svg |
| geoShapes | Proarrow.Tools.Diagrams.Svg |
| geoWidth | Proarrow.Tools.Diagrams.Svg |
| get | Proarrow.Promonad.State |
| getData | Proarrow.Tools.Diagrams.Dot |
| getNeg | Proarrow.Category.Instance.Linear |
| getP | Proarrow.Optic.Getter |
| Getter | Proarrow.Optic.Getter, Proarrow.Optics, Proarrow |
| GetterFl | Proarrow.Optic.Getter |
| ghzState | Proarrow.Category.Instance.ZX |
| Glass | Proarrow.Optic.Glass, Proarrow.Optics, Proarrow |
| glass | Proarrow.Optic.Glass, Proarrow.Optics, Proarrow |
| Glass' | Proarrow.Optic.Glass, Proarrow.Optics, Proarrow |
| GlassFl | Proarrow.Optic.Glass |
| glassP | Proarrow.Optic.Glass |
| glue | Proarrow.Category.Sheaf |
| glueBySearch | Proarrow.Category.Enriched.Finitary.Topos |
| glueExtension | Proarrow.Category.Sheaf |
| gluePlus | Proarrow.Category.Enriched.Finitary.Sheaf |
| glueTrivial | Proarrow.Category.Sheaf |
| GR | Proarrow.Category.Instance.Graph |
| GradedWalk | Proarrow.Category.Enriched.Thin.Composition |
| GRAPH | Proarrow.Category.Instance.Graph |
| Graph | |
| 1 (Type/Class) | Proarrow.Category.Instance.Graph |
| 2 (Data Constructor) | Proarrow.Category.Instance.Graph |
| graphSieve | Proarrow.Category.Enriched.Finitary.Topos |
| graphUniv | Proarrow.Category.Instance.Graph |
| Grate | Proarrow.Optic.Grate, Proarrow.Optics, Proarrow |
| grate | Proarrow.Optic.Grate, Proarrow.Optics, Proarrow |
| Grate' | Proarrow.Optic.Grate, Proarrow.Optics, Proarrow |
| GrateFl | Proarrow.Optic.Grate |
| Grouping | Proarrow.Tools.Diagrams.Svg |
| GTE | |
| 1 (Type/Class) | Proarrow.Category.Instance.Cost |
| 2 (Data Constructor) | Proarrow.Category.Instance.Cost |