diff --git a/README.md b/README.md index 35f3a0b..b1e8091 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ # constrained-some 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 offering a more reusable way than `some`. +It allows you to enforce multiple constraints on polymorphic types and containers complementing `some`. ## Core diff --git a/constrained-some.cabal b/constrained-some.cabal index 84ae92e..bde2f02 100644 --- a/constrained-some.cabal +++ b/constrained-some.cabal @@ -2,7 +2,8 @@ cabal-version: 3.0 name: constrained-some version: 0.1.0.0 synopsis: Existential type that can be constrained --- description: +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. homepage: https://github.com/bruderj15/constrained-some bug-reports: https://github.com/bruderj15/constrained-some/issues license: MIT