general-allocate 0.2.0.1 → 0.2.1.0

raw patch · 3 files changed

+9/−3 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Control.Monad.With: type MonadWithExceptable m = (MonadWith m, Exceptable (WithException m))

+ Control.Monad.With: class (MonadWith m, Exceptable (WithException m)) => MonadWithExceptable m

+ Control.Monad.With: instance (Control.Monad.With.MonadWith m, Data.Exceptable.Exceptable (Control.Monad.With.WithException m)) => Control.Monad.With.MonadWithExceptable m

Files

CHANGELOG.md +4/−0
general-allocate.cabal +1/−1
src/Control/Monad/With.hs +4/−2

CHANGELOG.md view

@@ -1,5 +1,9 @@ # Revision history for general-allocate +## 0.2.1.0 -- 2023-01-17++* Make `MonadWithExceptable` a newclass for use with QuantifiedConstraints+ ## 0.2.0.1 -- 2023-01-10  * Fix build with mtl 2.3

general-allocate.cabal view

@@ -1,6 +1,6 @@ cabal-version:      3.0 name:               general-allocate-version:            0.2.0.1+version:            0.2.1.0 license:            Apache-2.0 license-file:       LICENSE author:             Shea Levy

src/Control/Monad/With.hs view

@@ -1,7 +1,7 @@ {-# LANGUAGE AllowAmbiguousTypes #-}-{-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE DerivingVia #-} {-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE InstanceSigs #-} {-# LANGUAGE LambdaCase #-}@@ -142,7 +142,9 @@   rel _ = fin  -- | A 'MonadWith' whose exception type can be projected into the Haskell exception hierarchy-type MonadWithExceptable m = (MonadWith m, Exceptable (WithException m))+class (MonadWith m, Exceptable (WithException m)) ⇒ MonadWithExceptable m++instance (MonadWith m, Exceptable (WithException m)) ⇒ MonadWithExceptable m  instance MonadWith IO where   stateThreadingGeneralWith (GeneralAllocate allocA) go = mask $ \restore → do