retry-effectful 0.1.0.0 → 0.1.0.1
raw patch · 2 files changed
+8/−6 lines, 2 filesdep ~effectful-coredep ~tastydep ~tasty-hunitPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: effectful-core, tasty, tasty-hunit
API changes (from Hackage documentation)
- Effectful.Retry: applyAndDelay :: Retry :> es => RetryPolicyM (Eff es) -> RetryStatus -> Eff es (Maybe RetryStatus)
+ Effectful.Retry: applyAndDelay :: forall (es :: [Effect]). Retry :> es => RetryPolicyM (Eff es) -> RetryStatus -> Eff es (Maybe RetryStatus)
- Effectful.Retry: applyPolicy :: Retry :> es => RetryPolicyM (Eff es) -> RetryStatus -> Eff es (Maybe RetryStatus)
+ Effectful.Retry: applyPolicy :: forall (es :: [Effect]). Retry :> es => RetryPolicyM (Eff es) -> RetryStatus -> Eff es (Maybe RetryStatus)
- Effectful.Retry: data Retry :: Effect
+ Effectful.Retry: data Retry (a :: Type -> Type) b
- Effectful.Retry: logRetries :: (Retry :> es, Exception e) => (e -> Eff es Bool) -> (Bool -> e -> RetryStatus -> Eff es ()) -> RetryStatus -> Handler (Eff es) Bool
+ Effectful.Retry: logRetries :: forall (es :: [Effect]) e. (Retry :> es, Exception e) => (e -> Eff es Bool) -> (Bool -> e -> RetryStatus -> Eff es ()) -> RetryStatus -> Handler (Eff es) Bool
- Effectful.Retry: recoverAll :: Retry :> es => RetryPolicyM (Eff es) -> (RetryStatus -> Eff es a) -> Eff es a
+ Effectful.Retry: recoverAll :: forall (es :: [Effect]) a. Retry :> es => RetryPolicyM (Eff es) -> (RetryStatus -> Eff es a) -> Eff es a
- Effectful.Retry: recovering :: Retry :> es => RetryPolicyM (Eff es) -> [RetryStatus -> Handler (Eff es) Bool] -> (RetryStatus -> Eff es a) -> Eff es a
+ Effectful.Retry: recovering :: forall (es :: [Effect]) a. Retry :> es => RetryPolicyM (Eff es) -> [RetryStatus -> Handler (Eff es) Bool] -> (RetryStatus -> Eff es a) -> Eff es a
- Effectful.Retry: recoveringDynamic :: Retry :> es => RetryPolicyM (Eff es) -> [RetryStatus -> Handler (Eff es) RetryAction] -> (RetryStatus -> Eff es a) -> Eff es a
+ Effectful.Retry: recoveringDynamic :: forall (es :: [Effect]) a. Retry :> es => RetryPolicyM (Eff es) -> [RetryStatus -> Handler (Eff es) RetryAction] -> (RetryStatus -> Eff es a) -> Eff es a
- Effectful.Retry: resumeRecoverAll :: Retry :> es => RetryStatus -> RetryPolicyM (Eff es) -> (RetryStatus -> Eff es a) -> Eff es a
+ Effectful.Retry: resumeRecoverAll :: forall (es :: [Effect]) a. Retry :> es => RetryStatus -> RetryPolicyM (Eff es) -> (RetryStatus -> Eff es a) -> Eff es a
- Effectful.Retry: resumeRecovering :: Retry :> es => RetryStatus -> RetryPolicyM (Eff es) -> [RetryStatus -> Handler (Eff es) Bool] -> (RetryStatus -> Eff es a) -> Eff es a
+ Effectful.Retry: resumeRecovering :: forall (es :: [Effect]) a. Retry :> es => RetryStatus -> RetryPolicyM (Eff es) -> [RetryStatus -> Handler (Eff es) Bool] -> (RetryStatus -> Eff es a) -> Eff es a
- Effectful.Retry: resumeRecoveringDynamic :: Retry :> es => RetryStatus -> RetryPolicyM (Eff es) -> [RetryStatus -> Handler (Eff es) RetryAction] -> (RetryStatus -> Eff es a) -> Eff es a
+ Effectful.Retry: resumeRecoveringDynamic :: forall (es :: [Effect]) a. Retry :> es => RetryStatus -> RetryPolicyM (Eff es) -> [RetryStatus -> Handler (Eff es) RetryAction] -> (RetryStatus -> Eff es a) -> Eff es a
- Effectful.Retry: resumeRetrying :: Retry :> es => RetryStatus -> RetryPolicyM (Eff es) -> (RetryStatus -> b -> Eff es Bool) -> (RetryStatus -> Eff es b) -> Eff es b
+ Effectful.Retry: resumeRetrying :: forall (es :: [Effect]) b. Retry :> es => RetryStatus -> RetryPolicyM (Eff es) -> (RetryStatus -> b -> Eff es Bool) -> (RetryStatus -> Eff es b) -> Eff es b
- Effectful.Retry: resumeRetryingDynamic :: Retry :> es => RetryStatus -> RetryPolicyM (Eff es) -> (RetryStatus -> b -> Eff es RetryAction) -> (RetryStatus -> Eff es b) -> Eff es b
+ Effectful.Retry: resumeRetryingDynamic :: forall (es :: [Effect]) b. Retry :> es => RetryStatus -> RetryPolicyM (Eff es) -> (RetryStatus -> b -> Eff es RetryAction) -> (RetryStatus -> Eff es b) -> Eff es b
- Effectful.Retry: retrying :: Retry :> es => RetryPolicyM (Eff es) -> (RetryStatus -> b -> Eff es Bool) -> (RetryStatus -> Eff es b) -> Eff es b
+ Effectful.Retry: retrying :: forall (es :: [Effect]) b. Retry :> es => RetryPolicyM (Eff es) -> (RetryStatus -> b -> Eff es Bool) -> (RetryStatus -> Eff es b) -> Eff es b
- Effectful.Retry: retryingDynamic :: Retry :> es => RetryPolicyM (Eff es) -> (RetryStatus -> b -> Eff es RetryAction) -> (RetryStatus -> Eff es b) -> Eff es b
+ Effectful.Retry: retryingDynamic :: forall (es :: [Effect]) b. Retry :> es => RetryPolicyM (Eff es) -> (RetryStatus -> b -> Eff es RetryAction) -> (RetryStatus -> Eff es b) -> Eff es b
- Effectful.Retry: runRetry :: IOE :> es => Eff (Retry : es) a -> Eff es a
+ Effectful.Retry: runRetry :: forall (es :: [Effect]) a. IOE :> es => Eff (Retry ': es) a -> Eff es a
- Effectful.Retry: skipAsyncExceptions :: Retry :> es => [RetryStatus -> Handler (Eff es) Bool]
+ Effectful.Retry: skipAsyncExceptions :: forall (es :: [Effect]). Retry :> es => [RetryStatus -> Handler (Eff es) Bool]
- Effectful.Retry: stepping :: Retry :> es => RetryPolicyM (Eff es) -> [RetryStatus -> Handler (Eff es) Bool] -> (RetryStatus -> Eff es ()) -> (RetryStatus -> Eff es a) -> RetryStatus -> Eff es (Maybe a)
+ Effectful.Retry: stepping :: forall (es :: [Effect]) a. Retry :> es => RetryPolicyM (Eff es) -> [RetryStatus -> Handler (Eff es) Bool] -> (RetryStatus -> Eff es ()) -> (RetryStatus -> Eff es a) -> RetryStatus -> Eff es (Maybe a)
Files
- retry-effectful.cabal +7/−5
- test/Main.hs +1/−1
retry-effectful.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: retry-effectful-version: 0.1.0.0+version: 0.1.0.1 category: Control stability: experimental synopsis: Adaptation of the retry library for the effectful ecosystem.@@ -31,6 +31,8 @@ if impl(ghc >=9.2) ghc-options: -Wno-missing-kind-signatures+ if impl(ghc >=9.8)+ ghc-options: -Wno-missing-role-annotations -Wno-unticked-promoted-constructors -Wno-all-missed-specialisations default-language: Haskell2010 @@ -40,7 +42,7 @@ exposed-modules: Effectful.Retry build-depends: , base <5- , effectful-core >=1.0 && <3.0+ , effectful-core >=1.0 && <5.0 , exceptions , retry >=0.9.3 @@ -52,7 +54,7 @@ hs-source-dirs: test build-depends: , base <5- , effectful-core >=1.0 && <3.0+ , effectful-core >=1.0 && <5.0 , retry-effectful- , tasty ^>=1.4.2- , tasty-hunit ^>=0.10+ , tasty >=1.4.2+ , tasty-hunit >=0.10
test/Main.hs view
@@ -23,7 +23,7 @@ runRetryEff :: Eff '[Retry, IOE] a -> IO a runRetryEff = runEff . runRetry -testRetrying :: '[Retry] :>> es => Eff es Int+testRetrying :: (Retry :> es) => Eff es Int testRetrying = do retrying (constantDelay 100) chk (const $ pure 42) where