data-effects-th 0.1.0.0 → 0.1.1.0
raw patch · 4 files changed
+15/−5 lines, 4 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- ChangeLog.md +4/−0
- README.md +1/−1
- data-effects-th.cabal +1/−1
- src/Data/Effect/TH/Internal.hs +9/−3
ChangeLog.md view
@@ -3,3 +3,7 @@ ## 0.1.0.0 -- 2023-09-18 * Initial public release.++## 0.1.1.0 -- 2024-09-01+* Fix an issue where constraints in the effect constructor were not properly reflected in 'genLiftInsPatternSynonyms'.+* Fixed an issue where the auto-generation would fail when the name of the effect constructor started with a colon (:) operator.
README.md view
@@ -11,7 +11,7 @@ the [Heftia](https://github.com/sayo-hs/heftia) extensible effects library. ## Your contributions are welcome!-Please see [CONTRIBUTING.md](CONTRIBUTING.md).+Please see [CONTRIBUTING.md](https://github.com/sayo-hs/data-effects/blob/ef706ef3fa547de01ce6bb5636af911354e53b58/CONTRIBUTING.md). ## Credits Parts of this project have been adapted or inspired by the following resources:
data-effects-th.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: data-effects-th-version: 0.1.0.0+version: 0.1.1.0 -- A short (one-line) description of the package. synopsis: Template Haskell utilities for the data-effects library.
src/Data/Effect/TH/Internal.hs view
@@ -82,7 +82,7 @@ Specificity (SpecifiedSpec), TyVarBndr (..), TyVarBndrSpec,- Type (WildCardT),+ Type (TupleT, WildCardT), getDoc, mkName, patSynSigD,@@ -223,7 +223,11 @@ { _confByEffect = \effConName -> let normalSenderFnConf = SenderFunctionConf- { _senderFnName = nameBase effConName & _head %~ toLower+ { _senderFnName =+ let effConName' = nameBase effConName+ in if head effConName' == ':'+ then tail effConName'+ else effConName' & _head %~ toLower , _doesGenerateSenderFnSignature = True , _senderFnDoc = pure , _senderFnArgDoc = const pure@@ -539,7 +543,9 @@ -- not inferred properly (why?). [t| () =>- ($(pure a) ~ $(pure effResultType)) =>+ ( $(pure a) ~ $(pure effResultType)+ , $(pure $ foldl AppT (TupleT (length effCxt)) effCxt)+ ) => $( pure $ arrowChain effParamTypes