• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for proarrow-0.1 candidate source tarball

proarrow-0.1/

• CHANGELOG.md
• LICENSE
• README.md
• lattice.dot
• lattice.svg
• mkdocs.sh
• proarrow.cabal
• src/
  • Proarrow.hs
  • Proarrow/
    • Adjunction.hs
    • Colimit.hs
    • Core.hs
    • Functor.hs
    • Limit.hs
    • Monoid.hs
    • Object.hs
    • Optic.hs
    • Optics.hs
    • Path.hs
    • Promonad.hs
    • Squares.hs
    • Universal.hs
    • Category/
      • Enriched.hs
      • Internal.hs
      • Monoidal.hs
      • Promonoidal.hs
      • Sheaf.hs
      • Topos.hs
      • Enriched/
        • Dagger.hs
        • Finitary.hs
        • Quantale.hs
        • Thin.hs
        • Finitary/
          • Sheaf.hs
          • Topos.hs
        • Thin/
          • Composition.hs
      • Instance/
        • Bool.hs
        • Collage.hs
        • Constraint.hs
        • Coproduct.hs
        • Cospan.hs
        • Cost.hs
        • Discrete.hs
        • Duploid.hs
        • Fam.hs
        • FinHask.hs
        • FinRel.hs
        • FinSet.hs
        • Free.hs
        • Graph.hs
        • Hask.hs
        • IntConstruction.hs
        • Kleisli.hs
        • Linear.hs
        • Mat.hs
        • Monoid.hs
        • Nat.hs
        • Opposite.hs
        • Ordinal.hs
        • Paths.hs
        • PointedHask.hs
        • Product.hs
        • Prof.hs
        • Rel.hs
        • Rep.hs
        • Simplex.hs
        • Span.hs
        • Sub.hs
        • Unit.hs
        • ZX.hs
        • Zero.hs
      • Monoidal/
        • Action.hs
        • Applicative.hs
        • Cartesian.hs
        • Closed.hs
        • Coclosed.hs
        • CompactClosed.hs
        • CopyDiscard.hs
        • Distributive.hs
        • EndoProf.hs
        • Hypergraph.hs
        • Rev.hs
        • StarAutonomous.hs
        • Strength.hs
        • Strictified.hs
    • Colimit/
      • BinaryCoproduct.hs
      • Coequalizer.hs
      • Copower.hs
      • Initial.hs
      • NaturalNumbers.hs
      • Pushout.hs
    • Limit/
      • BinaryProduct.hs
      • Equalizer.hs
      • Power.hs
      • Pullback.hs
      • Terminal.hs
    • Optic/
      • Action.hs
      • AffineFold.hs
      • AffineTraversal.hs
      • Day.hs
      • Fold.hs
      • Getter.hs
      • Glass.hs
      • Grate.hs
      • Iso.hs
      • Kaleidoscope.hs
      • Lens.hs
      • MonoidalLens.hs
      • MonoidalTraversal.hs
      • PowerGrate.hs
      • Prism.hs
      • Prod.hs
      • Setter.hs
      • Sum.hs
      • Tracer.hs
      • Traversal.hs
    • Profunctor/
      • Cofree.hs
      • Corepresentable.hs
      • Free.hs
      • Representable.hs
      • Instance/
        • Adj.hs
        • Arrow.hs
        • Cocone.hs
        • Composition.hs
        • Cone.hs
        • Constant.hs
        • Coproduct.hs
        • Costar.hs
        • Coyoneda.hs
        • Day.hs
        • Direp.hs
        • Edges.hs
        • Exponential.hs
        • Fix.hs
        • Fold.hs
        • HaskValue.hs
        • Identity.hs
        • Initial.hs
        • List.hs
        • PastroTambara.hs
        • Product.hs
        • Ran.hs
        • Rift.hs
        • Sieve.hs
        • Star.hs
        • Terminal.hs
        • Wrapped.hs
        • Yoneda.hs
    • Promonad/
      • Cont.hs
      • Reader.hs
      • State.hs
      • Writer.hs
    • Tools/
      • CCC.hs
      • DPO.hs
      • Laws.hs
      • Diagrams/
        • Dot.hs
        • Svg.hs
• test/
  • Main.hs
  • Examples/
    • Cofree.hs
    • CustomLaws.hs
    • Database.hs
    • Free.hs
    • FrontDoor.hs
    • Graph.hs
    • Readme.hs
    • SimplyTypedLambdaCalculus.hs
    • UntypedLambdaCalculus.hs
    • Vitrea.hs
  • Props/
    • Bool.hs
    • Cospan.hs
    • Cost.hs
    • DPO.hs
    • Discrete.hs
    • Dot.hs
    • FinHask.hs
    • FinRel.hs
    • FinSet.hs
    • Finitary.hs
    • Free.hs
    • Hask.hs
    • Kleisli.hs
    • Mat.hs
    • Ordinal.hs
    • Paths.hs
    • PointedHask.hs
    • Sheaf.hs
    • Simplex.hs
    • Span.hs
    • Svg.hs
    • ZX.hs
    • Finitary/
      • Graph.hs
    • Optic/
      • FinRel.hs
      • Hask.hs
      • Linear.hs
    • Sheaf/
      • Chain.hs
      • Collage.hs
• testing/
  • Proarrow/
    • Testing.hs
    • Testing/
      • Laws.hs
      • Laws/
        • Run.hs