proarrow-0.1.0.0

•  Proarrowproarrow-0.1.0.0
  Submodules

  •  Proarrow.Adjunctionproarrow-0.1.0.0
  • Category
    Submodules

    •  Proarrow.Category.Enrichedproarrow-0.1.0.0
      Submodules

      •  Proarrow.Category.Enriched.Daggerproarrow-0.1.0.0
      •  Proarrow.Category.Enriched.Finitaryproarrow-0.1.0.0
        Submodules

        •  Proarrow.Category.Enriched.Finitary.Sheafproarrow-0.1.0.0
        •  Proarrow.Category.Enriched.Finitary.Toposproarrow-0.1.0.0
      •  Proarrow.Category.Enriched.Quantaleproarrow-0.1.0.0
      •  Proarrow.Category.Enriched.Thinproarrow-0.1.0.0
        Submodules

        •  Proarrow.Category.Enriched.Thin.Compositionproarrow-0.1.0.0
    • Instance
      Submodules

      •  Proarrow.Category.Instance.Boolproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Collageproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Constraintproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Coproductproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Cospanproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Costproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Discreteproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Duploidproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Famproarrow-0.1.0.0
      •  Proarrow.Category.Instance.FinHaskproarrow-0.1.0.0
      •  Proarrow.Category.Instance.FinRelproarrow-0.1.0.0
      •  Proarrow.Category.Instance.FinSetproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Freeproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Graphproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Haskproarrow-0.1.0.0
      •  Proarrow.Category.Instance.IntConstructionproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Kleisliproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Linearproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Matproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Monoidproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Natproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Oppositeproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Ordinalproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Pathsproarrow-0.1.0.0
      •  Proarrow.Category.Instance.PointedHaskproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Productproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Profproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Relproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Repproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Simplexproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Spanproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Subproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Unitproarrow-0.1.0.0
      •  Proarrow.Category.Instance.ZXproarrow-0.1.0.0
      •  Proarrow.Category.Instance.Zeroproarrow-0.1.0.0
    •  Proarrow.Category.Internalproarrow-0.1.0.0
    •  Proarrow.Category.Monoidalproarrow-0.1.0.0
      Submodules

      •  Proarrow.Category.Monoidal.Actionproarrow-0.1.0.0
      •  Proarrow.Category.Monoidal.Applicativeproarrow-0.1.0.0
      •  Proarrow.Category.Monoidal.Cartesianproarrow-0.1.0.0
      •  Proarrow.Category.Monoidal.Closedproarrow-0.1.0.0
      •  Proarrow.Category.Monoidal.Coclosedproarrow-0.1.0.0
      •  Proarrow.Category.Monoidal.CompactClosedproarrow-0.1.0.0
      •  Proarrow.Category.Monoidal.CopyDiscardproarrow-0.1.0.0
      •  Proarrow.Category.Monoidal.Distributiveproarrow-0.1.0.0
      •  Proarrow.Category.Monoidal.EndoProfproarrow-0.1.0.0
      •  Proarrow.Category.Monoidal.Hypergraphproarrow-0.1.0.0
      •  Proarrow.Category.Monoidal.Revproarrow-0.1.0.0
      •  Proarrow.Category.Monoidal.StarAutonomousproarrow-0.1.0.0
      •  Proarrow.Category.Monoidal.Strengthproarrow-0.1.0.0
      •  Proarrow.Category.Monoidal.Strictifiedproarrow-0.1.0.0
    •  Proarrow.Category.Promonoidalproarrow-0.1.0.0
    •  Proarrow.Category.Sheafproarrow-0.1.0.0
    •  Proarrow.Category.Toposproarrow-0.1.0.0
  •  Proarrow.Colimitproarrow-0.1.0.0
    Submodules

    •  Proarrow.Colimit.BinaryCoproductproarrow-0.1.0.0
    •  Proarrow.Colimit.Coequalizerproarrow-0.1.0.0
    •  Proarrow.Colimit.Copowerproarrow-0.1.0.0
    •  Proarrow.Colimit.Initialproarrow-0.1.0.0
    •  Proarrow.Colimit.NaturalNumbersproarrow-0.1.0.0
    •  Proarrow.Colimit.Pushoutproarrow-0.1.0.0
  •  Proarrow.Coreproarrow-0.1.0.0
  •  Proarrow.Functorproarrow-0.1.0.0
  •  Proarrow.Limitproarrow-0.1.0.0
    Submodules

    •  Proarrow.Limit.BinaryProductproarrow-0.1.0.0
    •  Proarrow.Limit.Equalizerproarrow-0.1.0.0
    •  Proarrow.Limit.Powerproarrow-0.1.0.0
    •  Proarrow.Limit.Pullbackproarrow-0.1.0.0
    •  Proarrow.Limit.Terminalproarrow-0.1.0.0
  •  Proarrow.Monoidproarrow-0.1.0.0
  •  Proarrow.Objectproarrow-0.1.0.0
  •  Proarrow.Opticproarrow-0.1.0.0
    Submodules

    •  Proarrow.Optic.Actionproarrow-0.1.0.0
    •  Proarrow.Optic.AffineFoldproarrow-0.1.0.0
    •  Proarrow.Optic.AffineTraversalproarrow-0.1.0.0
    •  Proarrow.Optic.Dayproarrow-0.1.0.0
    •  Proarrow.Optic.Foldproarrow-0.1.0.0
    •  Proarrow.Optic.Getterproarrow-0.1.0.0
    •  Proarrow.Optic.Glassproarrow-0.1.0.0
    •  Proarrow.Optic.Grateproarrow-0.1.0.0
    •  Proarrow.Optic.Isoproarrow-0.1.0.0
    •  Proarrow.Optic.Kaleidoscopeproarrow-0.1.0.0
    •  Proarrow.Optic.Lensproarrow-0.1.0.0
    •  Proarrow.Optic.MonoidalLensproarrow-0.1.0.0
    •  Proarrow.Optic.MonoidalTraversalproarrow-0.1.0.0
    •  Proarrow.Optic.PowerGrateproarrow-0.1.0.0
    •  Proarrow.Optic.Prismproarrow-0.1.0.0
    •  Proarrow.Optic.Prodproarrow-0.1.0.0
    •  Proarrow.Optic.Setterproarrow-0.1.0.0
    •  Proarrow.Optic.Sumproarrow-0.1.0.0
    •  Proarrow.Optic.Tracerproarrow-0.1.0.0
    •  Proarrow.Optic.Traversalproarrow-0.1.0.0
  •  Proarrow.Opticsproarrow-0.1.0.0
  •  Proarrow.Pathproarrow-0.1.0.0
  • Profunctor
    Submodules

    •  Proarrow.Profunctor.Cofreeproarrow-0.1.0.0
    •  Proarrow.Profunctor.Corepresentableproarrow-0.1.0.0
    •  Proarrow.Profunctor.Freeproarrow-0.1.0.0
    • Instance
      Submodules

      •  Proarrow.Profunctor.Instance.Adjproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Arrowproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Coconeproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Compositionproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Coneproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Constantproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Coproductproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Costarproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Coyonedaproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Dayproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Direpproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Edgesproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Exponentialproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Fixproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Foldproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.HaskValueproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Identityproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Initialproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Listproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.PastroTambaraproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Productproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Ranproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Riftproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Sieveproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Starproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Terminalproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Wrappedproarrow-0.1.0.0
      •  Proarrow.Profunctor.Instance.Yonedaproarrow-0.1.0.0
    •  Proarrow.Profunctor.Representableproarrow-0.1.0.0
  •  Proarrow.Promonadproarrow-0.1.0.0
    Submodules

    •  Proarrow.Promonad.Contproarrow-0.1.0.0
    •  Proarrow.Promonad.Readerproarrow-0.1.0.0
    •  Proarrow.Promonad.Stateproarrow-0.1.0.0
    •  Proarrow.Promonad.Writerproarrow-0.1.0.0
  •  Proarrow.Squaresproarrow-0.1.0.0
  • Tools
    Submodules

    •  Proarrow.Tools.CCCproarrow-0.1.0.0
    •  Proarrow.Tools.DPOproarrow-0.1.0.0
    • Diagrams
      Submodules

      •  Proarrow.Tools.Diagrams.Dotproarrow-0.1.0.0
      •  Proarrow.Tools.Diagrams.Svgproarrow-0.1.0.0
    •  Proarrow.Tools.Lawsproarrow-0.1.0.0
  •  Proarrow.Universalproarrow-0.1.0.0

proarrow:testing-0.1.0.0

• Proarrow
  Submodules

  •  Proarrow.Testingproarrow-0.1.0.0
    Submodules

    •  Proarrow.Testing.Lawsproarrow-0.1.0.0
      Submodules

      •  Proarrow.Testing.Laws.Runproarrow-0.1.0.0