Annotate type parameters of EffectHandler with their kinds

haskell-effectful · Aug 8, 2024 · 45a5592 · 45a5592
1 parent cb97e86
commit 45a5592
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/effectful-core/src/Effectful/Dispatch/Dynamic.hs b/effectful-core/src/Effectful/Dispatch/Dynamic.hs
@@ -595,7 +595,7 @@ imposeWith runHandlerEs m handler = impose runHandlerEs handler m
 -- | Type signature of a first order effect handler.
 --
 -- @since 2.4.0.0
-type EffectHandler_ e es
+type EffectHandler_ (e :: Effect) (es :: [Effect])
   = forall a localEs. HasCallStack
   => e (Eff localEs) a
   -- ^ The operation.

diff --git a/effectful-core/src/Effectful/Internal/Monad.hs b/effectful-core/src/Effectful/Internal/Monad.hs
@@ -494,7 +494,7 @@ type role LocalEnv nominal nominal
 newtype LocalEnv (localEs :: [Effect]) (handlerEs :: [Effect]) = LocalEnv (Env localEs)
 
 -- | Type signature of the effect handler.
-type EffectHandler e es
+type EffectHandler (e :: Effect) (es :: [Effect])
   = forall a localEs. (HasCallStack, e :> localEs)
   => LocalEnv localEs es
   -- ^ Capture of the local environment for handling local 'Eff' computations