moonlight-category 0.1.0.0 → 0.1.0.1
raw patch · 5 files changed
+53/−30 lines, 5 filesdep ~basedep ~moonlight-coredep ~moonlight-pale
Dependency ranges changed: base, moonlight-core, moonlight-pale
Files
- CHANGELOG.md +7/−0
- README.md +8/−0
- moonlight-category.cabal +22/−14
- src-indexed/Moonlight/Category/Pure/Indexed/Functor.hs +5/−5
- src-indexed/Moonlight/Category/Pure/Indexed/NaturalTransformation.hs +11/−11
CHANGELOG.md view
@@ -1,5 +1,12 @@ # Changelog +## 0.1.0.1 - 2026-08-20++- Support GHC 9.10.3, 9.12.4, and 9.14.1 across every public library.+- Preserve the optional `laws` component boundary while documenting its+ component-scoped dependency footprint.+- Pin the release to an exact public-source tag.+ ## 0.1.0.0 Initial release.
README.md view
@@ -60,6 +60,14 @@ interfaces. Effectful law harnesses and cross-package test fixtures live in the `laws` sublibrary rather than the pure production components. +## Dependency footprint++Hackage's package-level dependency summary aggregates dependencies from every+component in the distribution. Depending on the main `moonlight-category`+library does not select `moonlight-category:laws` and therefore does not add+Tasty, Hedgehog, or `moonlight-pale:test-laws`. Consumers opt into that reusable+law harness explicitly with a dependency on `moonlight-category:laws`.+ ## Finite-category presentations Use `Moonlight.Category.Presentation` to write finite categories declaratively.
moonlight-category.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.4 name: moonlight-category-version: 0.1.0.0+version: 0.1.0.1 homepage: https://github.com/PaleRoses/moonlight bug-reports: https://github.com/PaleRoses/moonlight/issues synopsis: Categorical layer for Pale Meridian.@@ -25,7 +25,7 @@ maintainer: rosaliafialkova@gmail.com category: Math build-type: Simple-tested-with: GHC == 9.14.1+tested-with: GHC == 9.10.3, GHC == 9.12.4, GHC == 9.14.1 extra-doc-files: README.md CHANGELOG.md@@ -35,6 +35,12 @@ location: https://github.com/PaleRoses/moonlight.git subdir: moonlight-category +source-repository this+ type: git+ location: https://github.com/PaleRoses/moonlight.git+ tag: moonlight-category-0.1.0.1+ subdir: moonlight-category+ common shared-properties default-language: GHC2024 ghc-options:@@ -72,7 +78,7 @@ Moonlight.Category.Pure.Poset Moonlight.Category.Pure.Unit build-depends:- base >= 4.22 && < 5+ base >= 4.20 && < 5 , containers >= 0.6 && < 0.9 library finite@@ -87,11 +93,11 @@ Moonlight.Category.Pure.FinCat.Opposite Moonlight.Category.Pure.Finite.DenseReachability build-depends:- base >= 4.22 && < 5+ base >= 4.20 && < 5 , bytestring >= 0.11 && < 0.13 , containers >= 0.6 && < 0.9 , vector >= 0.13 && < 0.14- , moonlight-core >= 0.1 && < 0.2+ , moonlight-core >= 0.1.0.3 && < 0.2 , moonlight-category:abstract library site@@ -107,10 +113,10 @@ Moonlight.Category.Pure.Site.Category Moonlight.Category.Pure.Site.Quotient build-depends:- base >= 4.22 && < 5+ base >= 4.20 && < 5 , containers >= 0.6 && < 0.9 , vector >= 0.13 && < 0.14- , moonlight-core >= 0.1 && < 0.2+ , moonlight-core >= 0.1.0.3 && < 0.2 , moonlight-category:abstract , moonlight-category:finite @@ -118,6 +124,8 @@ import: shared-properties visibility: public hs-source-dirs: src-indexed+ if impl(ghc >= 9.14)+ ghc-options: -Wno-pattern-namespace-specifier exposed-modules: Moonlight.Category.Pure.Indexed.Category Moonlight.Category.Pure.Indexed.Product@@ -131,7 +139,7 @@ Moonlight.Category.Pure.Indexed.KanExtension Moonlight.Category.Pure.Indexed.Simplex build-depends:- base >= 4.22 && < 5+ base >= 4.20 && < 5 library simplicial import: shared-properties@@ -156,9 +164,9 @@ Moonlight.Category.Pure.Simplicial.Set.Internal build-depends: algebraic-graphs >= 0.8 && < 0.9- , base >= 4.22 && < 5+ , base >= 4.20 && < 5 , containers >= 0.6 && < 0.9- , moonlight-core >= 0.1 && < 0.2+ , moonlight-core >= 0.1.0.3 && < 0.2 , moonlight-category:abstract , moonlight-category:finite , moonlight-category:indexed@@ -172,7 +180,7 @@ Moonlight.Category.Notation Moonlight.Category.Presentation build-depends:- base >= 4.22 && < 5+ base >= 4.20 && < 5 , moonlight-category:abstract , moonlight-category:finite , moonlight-category:site@@ -206,13 +214,13 @@ Moonlight.Category.Effect.Laws.Site Moonlight.Category.Effect.SitePathEnumeration build-depends:- base >= 4.22 && < 5+ base >= 4.20 && < 5 , containers >= 0.6 && < 0.9 , tasty >= 1.4 && < 1.6 , tasty-quickcheck >= 0.10 && < 0.12 , hedgehog >= 1.2 && < 1.8- , moonlight-core >= 0.1 && < 0.2- , moonlight-pale:test-laws >= 0.1 && < 0.2+ , moonlight-core >= 0.1.0.3 && < 0.2+ , moonlight-pale:test-laws >= 0.1.0.1 && < 0.2 , moonlight-category:abstract , moonlight-category:finite , moonlight-category:site
src-indexed/Moonlight/Category/Pure/Indexed/Functor.hs view
@@ -37,14 +37,14 @@ , Proj2(..) , (:***:)(..) , DiagProd(..)- , Tuple1, data Tuple1- , Tuple2, data Tuple2- , Swap, data Swap+ , Tuple1, pattern Tuple1+ , Tuple2, pattern Tuple2+ , Swap, pattern Swap -- *** Hom functors , Hom(..)- , (:*-:), data HomX_- , (:-*:), data Hom_X+ , (:*-:), pattern HomX_+ , (:-*:), pattern Hom_X -- *** Profunctors , ProfunctorOf
src-indexed/Moonlight/Category/Pure/Indexed/NaturalTransformation.hs view
@@ -9,7 +9,7 @@ , (!) , o , natId- , data NatId+ , pattern NatId , srcF , tgtF @@ -34,19 +34,19 @@ -- * Related functors , FunctorCompose(..) , EndoFunctorCompose- , Precompose, data Precompose- , Postcompose, data Postcompose- , Curry1, data Curry1- , Curry2, data Curry2+ , Precompose, pattern Precompose+ , Postcompose, pattern Postcompose+ , Curry1, pattern Curry1+ , Curry2, pattern Curry2 , Wrap(..) , Apply(..) , Tuple(..)- , Opp(..), Opposite, data Opposite- , HomF, data HomF- , Star, data Star- , Costar, data Costar- , (:*%:), data HomXF- , (:%*:), data HomFX+ , Opp(..), Opposite, pattern Opposite+ , HomF, pattern HomF+ , Star, pattern Star+ , Costar, pattern Costar+ , (:*%:), pattern HomXF+ , (:%*:), pattern HomFX ) where