| S | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Simplex |
| 2 (Type/Class) | Proarrow.Tools.Diagrams.Svg |
| samePlus | Proarrow.Category.Enriched.Finitary.Sheaf |
| sampleK | Proarrow.Testing |
| sampleP | Proarrow.Testing |
| sampleT | Proarrow.Testing |
| Sat | Proarrow.Path |
| SC | Proarrow.Category.Instance.Cost |
| Scalar | Proarrow.Category.Monoidal |
| SCons | |
| 1 (Data Constructor) | Proarrow.Path |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Strictified |
| SCost | Proarrow.Category.Instance.Cost |
| SDuploidObj | Proarrow.Category.Instance.Duploid |
| Search | Proarrow.Category.Enriched.Thin.Composition |
| search | Proarrow.Category.Enriched.Thin.Composition |
| second | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Limit.BinaryProduct |
| second' | Proarrow.Category.Monoidal.Strength |
| section | Proarrow.Profunctor.Cofree |
| segment | Proarrow.Tools.Diagrams.Svg |
| SelfAdjoint | Proarrow.Adjunction |
| SelfAdjointPoint | Proarrow.Adjunction |
| selfCopowered | Proarrow.Colimit.Copower |
| selfPowered | Proarrow.Limit.Power |
| selfUncopowered | Proarrow.Colimit.Copower |
| selfUnpowered | Proarrow.Limit.Power |
| Semicartesian | Proarrow.Limit.Terminal |
| Seq | Proarrow.Tools.Diagrams.Svg |
| seq | Proarrow.Squares |
| set | Proarrow.Optic.Setter, Proarrow.Optics, Proarrow |
| Setter | Proarrow.Optic.Setter, Proarrow.Optics, Proarrow |
| Setter' | Proarrow.Optic.Setter, Proarrow.Optics, Proarrow |
| SetterFl | Proarrow.Optic.Setter |
| Shape | Proarrow.Tools.Diagrams.Svg |
| shape | Proarrow.Tools.Diagrams.Svg |
| Sheaf | Proarrow.Category.Sheaf |
| sheafAt | Proarrow.Category.Enriched.Finitary.Sheaf |
| Sheafify | Proarrow.Category.Enriched.Finitary.Sheaf |
| SHEAVES | Proarrow.Category.Enriched.Finitary.Sheaf |
| SHF | Proarrow.Category.Enriched.Finitary.Sheaf |
| shift | Proarrow.Tools.Diagrams.Dot |
| shiftN | Proarrow.Category.Instance.FinRel |
| shiftPort | Proarrow.Tools.Diagrams.Svg |
| shortest | Proarrow.Category.Enriched.Thin.Composition |
| Show2 | Proarrow.Core |
| showOb | Proarrow.Testing |
| ShowP | |
| 1 (Type/Class) | Proarrow.Testing |
| 2 (Data Constructor) | Proarrow.Testing |
| showP | Proarrow.Testing |
| showPostComp | Proarrow.Category.Instance.Free |
| Side | Proarrow.Tools.Diagrams.Svg |
| sideBySide | Proarrow.Tools.Diagrams.Svg |
| Sieve | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Sieve |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Sieve |
| sieveAt | Proarrow.Category.Enriched.Finitary.Topos |
| sieveElements | Proarrow.Category.Enriched.Finitary.Topos |
| sieveMeet | Proarrow.Profunctor.Instance.Sieve |
| sieveTable | Proarrow.Category.Enriched.Finitary.Topos |
| Simplex | Proarrow.Category.Instance.Simplex |
| SINF | Proarrow.Category.Instance.Cost |
| sing | Proarrow.Category.Instance.Cost |
| singleton | Proarrow.Category.Monoidal.Strictified |
| singNat | Proarrow.Category.Instance.Simplex |
| singOrdinal | Proarrow.Category.Instance.Ordinal |
| singPath | Proarrow.Path |
| Sink | Proarrow.Profunctor.Instance.Cocone |
| Site | Proarrow.Category.Sheaf |
| size | Proarrow.Category.Enriched.Finitary |
| sizes | Proarrow.Category.Enriched.Finitary |
| SList | Proarrow.Category.Monoidal.Strictified |
| sList | Proarrow.Category.Monoidal.Strictified |
| slot | Proarrow.Tools.Diagrams.Svg |
| slots | Proarrow.Tools.Diagrams.Svg |
| SLT | Proarrow.Category.Instance.Ordinal |
| SN | Proarrow.Category.Instance.Duploid |
| SNat | Proarrow.Category.Instance.Simplex |
| Snd | |
| 1 (Type/Class) | Proarrow.Category.Instance.Product |
| 2 (Data Constructor) | Proarrow.Limit.BinaryProduct |
| snd | |
| 1 (Function) | Proarrow.Limit.BinaryProduct |
| 2 (Function) | Proarrow.Category.Monoidal.CopyDiscard |
| snd' | Proarrow.Limit.BinaryProduct |
| sndK | Proarrow.Category.Instance.Product |
| sndP | Proarrow.Profunctor.Instance.Product |
| SNil | |
| 1 (Data Constructor) | Proarrow.Path |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Strictified |
| Solely | Proarrow.Category.Sheaf |
| Some | |
| 1 (Type/Class) | Proarrow.Testing |
| 2 (Data Constructor) | Proarrow.Testing |
| SomeCover | |
| 1 (Type/Class) | Proarrow.Category.Sheaf |
| 2 (Data Constructor) | Proarrow.Category.Sheaf |
| someElem | Proarrow.Testing |
| someElemNamed | Proarrow.Testing |
| someElemWith | Proarrow.Testing |
| SomeLeg | |
| 1 (Type/Class) | Proarrow.Category.Sheaf |
| 2 (Data Constructor) | Proarrow.Category.Sheaf |
| SomeP | Proarrow.Testing |
| someP | Proarrow.Testing |
| SomeProfunctorElt | Proarrow.Testing |
| SOrdinal | Proarrow.Category.Instance.Ordinal |
| SOS | Proarrow.Category.Instance.Ordinal |
| source | Proarrow.Category.Internal |
| sourceBelow | Proarrow.Category.Sheaf |
| SOZ | Proarrow.Category.Instance.Ordinal |
| SP | |
| 1 (Type/Class) | Proarrow.Category.Instance.Span |
| 2 (Data Constructor) | Proarrow.Category.Instance.Duploid |
| SPAN | Proarrow.Category.Instance.Span |
| Span | |
| 1 (Type/Class) | Proarrow.Category.Instance.Span |
| 2 (Data Constructor) | Proarrow.Category.Instance.Span |
| SparseMatrix | Proarrow.Category.Instance.ZX |
| SPath | Proarrow.Path |
| Spider | Proarrow.Tools.Diagrams.Dot |
| spider | Proarrow.Category.Monoidal.Hypergraph |
| spiderS | Proarrow.Category.Monoidal.Hypergraph |
| split | |
| 1 (Function) | Proarrow.Tools.Diagrams.Dot |
| 2 (Function) | Proarrow.Category.Instance.ZX |
| 3 (Function) | Proarrow.Category.Instance.FinRel |
| splitFold | |
| 1 (Function) | Proarrow.Path |
| 2 (Function) | Proarrow.Category.Monoidal.Strictified |
| splitMany | Proarrow.Category.Monoidal.Strictified |
| splits | Proarrow.Category.Instance.FinRel |
| splitUnit | Proarrow.Category.Enriched.Quantale |
| Sprout | Proarrow.Monoid |
| Sq | |
| 1 (Type/Class) | Proarrow.Squares |
| 2 (Data Constructor) | Proarrow.Squares |
| src | Proarrow.Core, Proarrow.Object, Proarrow |
| SS | Proarrow.Category.Instance.Simplex |
| SSing | Proarrow.Category.Monoidal.Strictified |
| St | Proarrow.Category.Instance.Free |
| StableSite | Proarrow.Category.Sheaf |
| stack | Proarrow.Tools.Diagrams.Svg |
| Stage | Proarrow.Tools.Diagrams.Svg |
| Star | |
| 1 (Data Constructor) | Proarrow.Profunctor.Instance.Star |
| 2 (Type/Class) | Proarrow.Profunctor.Instance.Star |
| Star' | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Star |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Star |
| StarAutonomous | Proarrow.Category.Monoidal.StarAutonomous |
| StarAutonomousStructures | Proarrow.Category.Monoidal.StarAutonomous |
| StarAutonomousW | Proarrow.Testing.Laws.Run |
| starTraverse | Proarrow.Profunctor.Instance.Star |
| State | |
| 1 (Type/Class) | Proarrow.Category.Monoidal |
| 2 (Data Constructor) | Proarrow.Promonad.State |
| 3 (Type/Class) | Proarrow.Promonad.State |
| statements | Proarrow.Tools.Diagrams.Dot |
| StateT | |
| 1 (Type/Class) | Proarrow.Promonad.State |
| 2 (Data Constructor) | Proarrow.Promonad.State |
| Step | Proarrow.Category.Enriched.Thin.Composition |
| StepAt | Proarrow.Category.Enriched.Thin.Composition |
| stepAt | Proarrow.Category.Enriched.Thin.Composition |
| Str | Proarrow.Category.Monoidal.Strictified |
| Straight | Proarrow.Tools.Diagrams.Svg |
| strength | Proarrow.Category.Monoidal.Strength |
| stretch | Proarrow.Tools.Diagrams.Svg |
| Strictified | Proarrow.Category.Monoidal.Strictified |
| Strictly | Proarrow.Category.Monoidal |
| StrictlyAssoc | Proarrow.Category.Monoidal |
| Strong | Proarrow.Category.Monoidal.Strength |
| StrongDistributiveProfunctor | Proarrow.Category.Monoidal.Distributive |
| strongId | Proarrow.Category.Monoidal.Strength |
| StrongMonoidalCorep | Proarrow.Category.Monoidal |
| StrongMonoidalRep | Proarrow.Category.Monoidal |
| StrongSymMonAdj | Proarrow.Category.Instance.Duploid |
| Struct | Proarrow.Category.Instance.Free, Proarrow.Category.Monoidal, Proarrow.Limit.Terminal, Proarrow.Colimit.Initial, Proarrow.Limit.BinaryProduct, Proarrow.Colimit.BinaryCoproduct, Proarrow.Category.Monoidal.Closed, Proarrow.Category.Monoidal.StarAutonomous, Proarrow.Monoid, Proarrow.Category.Monoidal.Distributive, Proarrow.Category.Monoidal.Cartesian, Proarrow.Category.Monoidal.CompactClosed |
| stub | Proarrow.Tools.Diagrams.Svg |
| SUB | Proarrow.Category.Instance.Sub |
| Sub | |
| 1 (Type/Class) | Proarrow.Optic |
| 2 (Type/Class) | Proarrow.Category.Instance.Sub |
| 3 (Data Constructor) | Proarrow.Category.Instance.Sub |
| sub | Proarrow.Optic |
| SubAction | Proarrow.Category.Monoidal.Action |
| SubAction' | Proarrow.Category.Monoidal.Action |
| SUBCAT | Proarrow.Category.Instance.Sub |
| SubFinitary | Proarrow.Category.Enriched.Finitary.Topos |
| subFinitary | Proarrow.Category.Enriched.Finitary.Topos |
| SubMonoidal | Proarrow.Category.Instance.Sub |
| Subobject | Proarrow.Category.Enriched.Finitary.Topos |
| suc | Proarrow.Category.Instance.Simplex |
| succ | Proarrow.Colimit.NaturalNumbers |
| Sum | Proarrow.Colimit.BinaryCoproduct |
| sum | Proarrow.Colimit.BinaryCoproduct |
| SumFl | Proarrow.Optic.Sum |
| Summands | Proarrow.Category.Sheaf |
| Sums | Proarrow.Category.Sheaf |
| Supplies | Proarrow.Monoid |
| support | Proarrow.Category.Enriched.Finitary.Sheaf |
| Surjective | Proarrow.Category.Instance.Rel |
| SVG | Proarrow.Tools.Diagrams.Svg |
| Svg | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Svg |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Svg |
| svg | Proarrow.Tools.Diagrams.Svg |
| Swap | Proarrow.Category.Monoidal |
| swap | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Profunctor.Instance.Arrow |
| swap' | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Monoidal.Strictified |
| swap1 | Proarrow.Category.Monoidal.Strictified |
| swap1Inv | Proarrow.Category.Monoidal.Strictified |
| swap2 | |
| 1 (Function) | Proarrow.Category.Monoidal.Strictified |
| 2 (Function) | Proarrow.Tools.Diagrams.Dot |
| swapClosed | Proarrow.Category.Monoidal.Closed |
| swapCoprod | Proarrow.Colimit.BinaryCoproduct |
| swapCoprod' | Proarrow.Colimit.BinaryCoproduct |
| swapFst | Proarrow.Category.Monoidal |
| swapHeight | Proarrow.Tools.Diagrams.Svg |
| swapInner | Proarrow.Category.Monoidal |
| swapInner' | Proarrow.Category.Monoidal |
| swapNode | |
| 1 (Function) | Proarrow.Tools.Diagrams.Dot |
| 2 (Function) | Proarrow.Tools.Diagrams.Svg |
| swapOuter | Proarrow.Category.Monoidal |
| swapProd | Proarrow.Limit.BinaryProduct |
| swapProduct | Proarrow.Tools.CCC |
| swapSnd | Proarrow.Category.Monoidal |
| swapSum | Proarrow.Tools.CCC |
| Symmetric | Proarrow.Category.Instance.Rel |
| SymMonoidal | Proarrow.Category.Monoidal |
| SymMonoidalStructures | Proarrow.Category.Monoidal |
| SymMonoidalW | Proarrow.Testing.Laws.Run |
| SymRefl | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Dot |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Dot |
| Syntax | Proarrow.Tools.CCC |
| SZ | Proarrow.Category.Instance.Simplex |