[fix] Move Const2 to data-effects.

cabal.project

@@ -13,7 +13,7 @@ allow-newer: eff:primitive
 source-repository-package
     type: git
     location: https://github.com/sayo-hs/data-effects
-    tag: 48425e364068b5321c8afeee072cdc4d339c7c81
+    tag: 739db94528d66a94860e7130668b668075ad5f76
     subdir: data-effects-core
     subdir: data-effects-th
     subdir: data-effects

heftia-effects/heftia-effects.cabal

@@ -55,7 +55,7 @@ common common-base
 
     build-depends:
         base >= 4.17 && < 4.21,
-        data-effects ^>= 0.2,
+        data-effects ^>= 0.3,
         heftia ^>= 0.4,
         time >= 1.11.1 && < 1.15,
         unliftio ^>= 0.2,

heftia-effects/src/Control/Monad/Hefty/Concurrent/Subprocess.hs

@@ -10,7 +10,7 @@ Copyright   :  (c) 2024 Sayo Koyoneda
 License     :  MPL-2.0 (see the LICENSE file) AND BSD-3-Clause
 Maintainer  :  ymdfield@outlook.jp
 
-Effects for subprocess.
+Effects for well-typed subprocess.
 -}
 module Control.Monad.Hefty.Concurrent.Subprocess (
     module Control.Monad.Hefty.Concurrent.Subprocess,

heftia-effects/src/Control/Monad/Hefty/Log.hs

@@ -5,9 +5,9 @@ Copyright   :  (c) 2024 Sayo Koyoneda
 License     :  MPL-2.0 (see the LICENSE file)
 Maintainer  :  ymdfield@outlook.jp
 
-Interpreters for the [`co-log`](https://hackage.haskell.org/package/co-log) ecosystem.
+Interpreters for the [@co-log@](https://hackage.haskell.org/package/co-log) ecosystem.
 
-The interface is similar to [`co-log-polysemy`](https://hackage.haskell.org/package/co-log-polysemy).
+The interface is similar to [@co-log-polysemy@](https://hackage.haskell.org/package/co-log-polysemy).
 -}
 module Control.Monad.Hefty.Log (
     module Control.Monad.Hefty.Log,

heftia-effects/src/Control/Monad/Hefty/Provider.hs

@@ -31,7 +31,6 @@ import Control.Monad.Hefty (
     type (#>),
     type (~>),
  )
-import Data.Effect.HFunctor (hfmap)
 import Data.Effect.Provider
 import Data.Functor.Const (Const (Const))
 import Data.Functor.Identity (Identity (Identity))
@@ -47,10 +46,6 @@ type Provide_ i sh sf eh ef =
 newtype ProviderEff_ i sh sf eh ef a
     = ProviderEff_ {unProviderEff_ :: Eff (sh ': Provide_ i sh sf eh ef ': eh) (sf ': ef) a}
 
-newtype Const2 ff x f a = Const2 {getConst2 :: ff f a}
-instance (HFunctor ff) => HFunctor (Const2 ff x) where
-    hfmap phi (Const2 ff) = Const2 $ hfmap phi ff
-
 -- | Interpret the t'Provider' effect using the given effect interpreter.
 runProvider
     :: forall ctx i sh sf eh ef

heftia/heftia.cabal

@@ -87,7 +87,7 @@ library
     -- other-extensions:
     build-depends:
         base                          >= 4.17 && < 4.21,
-        data-effects                  ^>= 0.2,
+        data-effects                  ^>= 0.3,
         freer-simple                  ^>= 1.2.1.2,
         mtl                           >= 2.2.2 && < 2.4,
         unliftio                      ^>= 0.2,