| W | Proarrow.Tools.Diagrams.Svg |
| Walk | Proarrow.Category.Enriched.Thin.Composition |
| walkAt | Proarrow.Category.Enriched.Thin.Composition |
| WalkRow | Proarrow.Category.Enriched.Thin.Composition |
| Walks | Proarrow.Category.Enriched.Thin.Composition |
| weakenTight | Proarrow.Path |
| WeightOf | Proarrow.Profunctor.Instance.Edges |
| whiskerL | Proarrow.Path |
| whiskerR | Proarrow.Path |
| widen | Proarrow.Category.Instance.Free |
| width | Proarrow.Tools.Diagrams.Svg |
| Wire | Proarrow.Tools.Diagrams.Svg |
| wireAt | Proarrow.Tools.Diagrams.Dot |
| WireId | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Svg |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Svg |
| wireInfo | Proarrow.Tools.Diagrams.Svg |
| WireKind | Proarrow.Tools.Diagrams.Svg |
| wireKinds | Proarrow.Tools.Diagrams.Svg |
| wires | Proarrow.Tools.Diagrams.Svg |
| Wiring | Proarrow.Tools.Diagrams.Svg |
| wiringGeo | Proarrow.Tools.Diagrams.Svg |
| With | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| withActP | Proarrow.Optic.Action |
| withAlgP | Proarrow.Optic.Action |
| withArr | Proarrow.Category.Enriched.Thin |
| withArrComp | Proarrow.Category.Enriched.Thin.Composition |
| withAssoc | Proarrow.Path |
| withAssocMult | Proarrow.Category.Instance.Mat |
| withAssocPlus | Proarrow.Category.Instance.Mat |
| withAtLookup | Proarrow.Category.Enriched.Thin |
| withCollageL | Proarrow.Category.Instance.Collage |
| withCollageR | Proarrow.Category.Instance.Collage |
| withDist | Proarrow.Category.Instance.Mat |
| withDualAppend | Proarrow.Tools.Diagrams.Svg |
| withDualDual | Proarrow.Tools.Diagrams.Svg |
| withDualDualW | Proarrow.Tools.Diagrams.Svg |
| withEntry | Proarrow.Category.Enriched.Thin |
| withEq | |
| 1 (Function) | Proarrow.Category.Enriched.Thin |
| 2 (Function) | Proarrow.Category.Instance.Discrete |
| withEraseAppend | Proarrow.Tools.Diagrams.Svg |
| withEraseAppendCons | Proarrow.Tools.Diagrams.Svg |
| withEraseDual | Proarrow.Tools.Diagrams.Svg |
| withEraseDualCons | Proarrow.Tools.Diagrams.Svg |
| withFoldOb | Proarrow.Path |
| withFoldRep | Proarrow.Path |
| withGlass | Proarrow.Optic.Glass, Proarrow.Optics, Proarrow |
| withGrate | Proarrow.Optic.Grate, Proarrow.Optics, Proarrow |
| withIndex | Proarrow.Category.Enriched.Thin |
| withIsList2 | Proarrow.Category.Monoidal.Strictified |
| withIsListDual | Proarrow.Tools.Diagrams.Svg |
| withIsListErase | Proarrow.Tools.Diagrams.Svg |
| withIsListEraseCons | Proarrow.Tools.Diagrams.Svg |
| withIsNat | Proarrow.Category.Instance.Mat |
| withIso | Proarrow.Optic.Iso, Proarrow.Optics, Proarrow |
| withKnownDualW | Proarrow.Tools.Diagrams.Svg |
| withLegs | Proarrow.Optic |
| withLens | Proarrow.Optic.Lens, Proarrow.Optics, Proarrow |
| withLookupMapWrap | Proarrow.Category.Enriched.Thin |
| withLowerIdOb | Proarrow.Category.Instance.Free |
| withLowerOb | Proarrow.Category.Instance.Free |
| withMappedOb | Proarrow.Functor |
| withMonLens | Proarrow.Optic.MonoidalLens, Proarrow.Optics, Proarrow |
| withMonLensP | Proarrow.Optic.MonoidalLens |
| withMultNat | Proarrow.Category.Instance.Mat |
| withMultSucc | Proarrow.Category.Instance.Mat |
| withMultSym | Proarrow.Category.Instance.Mat |
| withNatEqRefl | Proarrow.Category.Enriched.Thin |
| withNegOb | Proarrow.Category.Instance.Duploid |
| withOb | Proarrow.Category.Enriched.Thin |
| withOb2 | Proarrow.Category.Monoidal |
| withObAppend | Proarrow.Path |
| withObCoExp | Proarrow.Category.Monoidal.Coclosed |
| withObCopower | Proarrow.Colimit.Copower |
| withObCoprod | Proarrow.Colimit.BinaryCoproduct |
| withObCorep | Proarrow.Profunctor.Corepresentable |
| withObDual | Proarrow.Category.Monoidal.StarAutonomous |
| withObExp | Proarrow.Category.Monoidal.Closed |
| withObF | Proarrow.Functor |
| withObFold | Proarrow.Category.Monoidal.Strictified |
| withObIx | Proarrow.Category.Internal |
| withObMatVec | Proarrow.Category.Enriched.Thin.Composition |
| withObNFold | Proarrow.Category.Monoidal |
| withObPower | Proarrow.Limit.Power |
| withObProd | Proarrow.Limit.BinaryProduct |
| withObRep | Proarrow.Profunctor.Representable |
| withObRow | Proarrow.Category.Enriched.Thin.Composition |
| withObs | Proarrow.Category.Monoidal.Strictified |
| withObSel | Proarrow.Optic.Glass |
| withObStep | Proarrow.Category.Enriched.Thin.Composition |
| withObWalks | Proarrow.Category.Enriched.Thin.Composition |
| withObWeight | Proarrow.Profunctor.Instance.Edges |
| withOrdObjects | Proarrow.Category.Instance.Ordinal |
| withPlusIsNat | Proarrow.Category.Instance.Cost |
| withPlusNat | Proarrow.Category.Instance.Mat |
| withPlusSucc | Proarrow.Category.Instance.Mat |
| withPlusSym | Proarrow.Category.Instance.Mat |
| withPosOb | Proarrow.Category.Instance.Duploid |
| withPrism | Proarrow.Optic.Prism, Proarrow.Optics, Proarrow |
| withProdOptic | Proarrow.Optic.Prod |
| withProdP | Proarrow.Optic.Prod |
| withProObj | Proarrow.Category.Enriched |
| withRightUnit | Proarrow.Tools.Diagrams.Svg |
| withSheafTables | Proarrow.Category.Enriched.Finitary.Sheaf |
| WithShow | Proarrow.Category.Instance.Free |
| withSides | Proarrow.Tools.Laws |
| withSieve | Proarrow.Category.Enriched.Finitary.Sheaf |
| withSubobject | Proarrow.Category.Enriched.Finitary.Topos |
| withSumL | Proarrow.Optic.Sum |
| withSumOpticL | Proarrow.Optic.Sum |
| withSumOpticR | Proarrow.Optic.Sum |
| withSumR | Proarrow.Optic.Sum |
| withTables | Proarrow.Category.Enriched.Finitary.Topos |
| withTabulated | Proarrow.Category.Enriched.Finitary.Topos |
| withTabulatedSheaf | Proarrow.Category.Enriched.Finitary.Sheaf |
| WithTestOb | Proarrow.Testing |
| WithTestOb2 | Proarrow.Testing |
| WithTestObCoprod | Proarrow.Testing |
| WithTestObCorep | Proarrow.Testing |
| WithTestObDual | Proarrow.Testing |
| WithTestObExp | Proarrow.Testing |
| WithTestObProd | Proarrow.Testing |
| WithTestObRep | Proarrow.Testing |
| withTracer | Proarrow.Optic.Tracer |
| withTracerP | Proarrow.Optic.Tracer |
| withWrapAtLookup | Proarrow.Category.Enriched.Thin |
| Witness | Proarrow.Testing.Laws.Run |
| witness | Proarrow.Testing.Laws.Run |
| Witnesses | Proarrow.Testing.Laws.Run |
| WNil | Proarrow.Testing.Laws.Run |
| wrapFinite | Proarrow.Category.Enriched.Thin |
| Wrapped | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Wrapped |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Wrapped |
| wrapped | Proarrow.Profunctor.Instance.Wrapped |
| WrappedOb | Proarrow.Core |
| WrapRep | |
| 1 (Type/Class) | Proarrow.Optic.Kaleidoscope |
| 2 (Data Constructor) | Proarrow.Optic.Kaleidoscope |
| Writer | |
| 1 (Type/Class) | Proarrow.Promonad.Writer |
| 2 (Data Constructor) | Proarrow.Promonad.Writer |
| writerComp | Proarrow.Promonad.Writer |
| writerDay | Proarrow.Promonad.Writer |
| WriterT | |
| 1 (Type/Class) | Proarrow.Promonad.Writer |
| 2 (Data Constructor) | Proarrow.Promonad.Writer |