constrained-some 0.1.2 → 0.1.3

raw patch · 3 files changed

+24/−8 lines, 3 filesdep ~basePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base

API changes (from Hackage documentation)

Files

• CHANGELOG.md +9/−0
• constrained-some.cabal +9/−7
• test/Main.hs +6/−1

@@ -6,18 +6,27 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/), and this project adheres to [PVP versioning](https://pvp.haskell.org/). +## v0.1.3 _(2026-07-29)_++### Added++- Support `ghc-9.12` and `ghc-9.14` (#5)+ ## v0.1.2 _(2024-11-29)_  ### Added+ - Added type aliases `SomesF` and `SomeF` for existentials with fixed containers - Added `mapSome` with infix `(<~$>)` and `traverseSome` with infix `(<~*>)`  ## v0.1.1 _(2024-11-29)_  ### Added+ - Added instance `Show (Somes cs)` if `cs` contains `Show`  ## Initial release: v0.1.0 _(2024-11-27)_  ### Added+ - Existentials `Somes` and `Somes1`

@@ -1,6 +1,6 @@ cabal-version:      3.0 name:               constrained-some-version:            0.1.2+version:            0.1.3 synopsis:           Existential type that can be constrained description:        This library provides utilities for working with existential types and type-level constraints.   It allows you to enforce multiple constraints on polymorphic types and containers complementing the package some.@@ -16,13 +16,15 @@ extra-source-files: README.md extra-doc-files:    CHANGELOG.md tested-with:-  GHC ==8.10.4+  GHC ==8.10.7    || ==9.0.2    || ==9.2.8    || ==9.4.8-   || ==9.6.5-   || ==9.8.2-   || ==9.10.1+   || ==9.6.7+   || ==9.8.4+   || ==9.10.3+   || ==9.12.4+   || ==9.14.1  common warnings     ghc-options: -Wall@@ -30,7 +32,7 @@ library     import:           warnings     exposed-modules:  Data.Some.Constraint-    build-depends:    base >=4.12 && <4.21+    build-depends:    base >=4.12 && <4.23     hs-source-dirs:   src     default-language: Haskell2010 @@ -41,5 +43,5 @@     hs-source-dirs:   test     main-is:          Main.hs     build-depends:-        base >=4.12 && <4.21,+        base >=4.12 && <4.23,         constrained-some

@@ -1,4 +1,9 @@ module Main (main) where +import Data.Some.Constraint ( SomeF, Somes1(..) )+ main :: IO ()-main = putStrLn "Test suite not yet implemented."+main = do+  let someListShowable :: SomeF [] Show+      someListShowable = Some1 [1, 2, 3 :: Int]+  print someListShowable