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

Directory listing for FiniteCategories-0.1.0.0 candidate source tarball

FiniteCategories-0.1.0.0/

• CHANGELOG.md
• FiniteCategories.cabal
• LICENSE
• Readme.md
• src/
  • Adjunction/
    • Adjunction.hs
  • Cat/
    • FinCat.hs
    • PartialFinCat.hs
  • CommaCategory/
    • CommaCategory.hs
  • CompositionGraph/
    • CompositionGraph.hs
    • SafeCompositionGraph.hs
  • ConeCategory/
    • ConeCategory.hs
    • LeftCone.hs
  • Config/
    • Config.hs
  • Currying/
    • Currying.hs
  • DiagonalFunctor/
    • DiagonalFunctor.hs
  • Diagram/
    • Conversion.hs
    • Diagram.hs
  • ExportGraphViz/
    • ExportGraphViz.hs
  • FiniteCategory/
    • FiniteCategory.hs
  • FunctorCategory/
    • FunctorCategory.hs
  • IO/
    • CreateAndWriteFile.hs
    • PrettyPrint.hs
    • Show.hs
    • Parsers/
      • CompositionGraph.hs
      • Lexer.hs
      • SafeCompositionGraph.hs
      • SafeCompositionGraphFunctor.hs
  • Limit/
    • Limit.hs
  • OppositeCategory/
    • OppositeCategory.hs
  • ProductCategory/
    • ProductCategory.hs
  • RandomCompositionGraph/
    • RandomCompositionGraph.hs
  • RandomDiagram/
    • RandomDiagram.hs
  • Set/
    • FinOrdSet.hs
    • FinSet.hs
  • Subcategories/
    • FreeSubcategory.hs
    • FullSubcategory.hs
    • Subcategory.hs
  • UsualCategories/
    • DiscreteCategory.hs
    • Hat.hs
    • One.hs
    • Parallel.hs
    • Square.hs
    • Three.hs
    • Two.hs
    • V.hs
    • Zero.hs
  • Utils/
    • AssociationList.hs
    • CartesianProduct.hs
    • EnumerateMaps.hs
    • Sample.hs
    • SetList.hs
    • Tuple.hs
  • YonedaEmbedding/
    • YonedaEmbedding.hs
• test/
  • RunAllExamples.hs
  • ExampleAdjunction/
    • ExampleAdjunction.hs
    • ExampleAdjunction.scg
    • ExampleAdjunctionDiag1.fscg
    • ExampleAdjunctionDiag2.fscg
  • ExampleCat/
    • ExampleCat.hs
    • ExampleFunctor.hs
    • ExamplePartialFinCat.hs
  • ExampleCommaCategory/
    • ExampleArrowCategory.hs
    • ExampleCosliceCategory.hs
    • ExampleSliceCategory.hs
  • ExampleCompositionGraph/
    • ExampleCompositionGraph.hs
    • ExampleCompositionGraphConstruction.hs
    • ExampleFinSetToCompositionGraph.hs
    • ExampleSafeCompositionGraph.hs
  • ExampleConeCategory/
    • ExampleCoconeCategory.hs
    • ExampleColimit.hs
    • ExampleConeCategory.hs
    • ExampleLeftCone.hs
    • ExampleLimit.hs
  • ExampleCurrying/
    • ExampleCurrying.hs
  • ExampleDiagonalFunctor/
    • ExampleDiagonalFunctor.hs
  • ExampleDiagram/
    • ExampleConstantDiagram.hs
    • ExampleConversion.hs
    • ExampleDiagram.hs
    • ExampleDiscreteDiagram.hs
    • ExampleIdentityDiagram.hs
    • ExampleParallelDiagram.hs
    • ExampleSelectOneDiagram.hs
    • ExampleSelectThreeDiagram.hs
    • ExampleSelectTwoDiagram.hs
    • ExampleSelectZeroDiagram.hs
  • ExampleFunctorCategory/
    • ExampleFunctorCategory.hs
  • ExampleOppositeCategory/
    • ExampleOppositeCategory.hs
  • ExampleParsers/
    • Example.fscg
    • Example.scg
    • Example2.scg
    • ExampleSafeCompositionGraph.hs
    • ExampleSafeCompositionGraphFunctor.hs
  • ExampleProductCategory/
    • ExampleProductCategory.hs
  • ExampleRandomCompositionGraph/
    • ExampleRandomCompositionGraph.hs
  • ExampleRandomDiagram/
    • ExampleRandomDiagram.hs
    • ExampleRandomTriangle.hs
  • ExampleSet/
    • ExampleCompletion.hs
    • ExampleOrdSet.hs
    • ExamplePowerOrdSet.hs
    • ExamplePowerSet.hs
    • ExampleSet.hs
  • ExampleSubcategories/
    • ExampleFreeSubcategory.hs
  • ExampleYonedaEmbedding/
    • ExampleYonedaEmbedding.hs