monad-chronicle 1.0.2 → 1.1.0.1

raw patch · 4 files changed

Files

CHANGELOG.md +6/−0
monad-chronicle.cabal +6/−9
src/Control/Monad/Chronicle/Class.hs +0/−10
src/Control/Monad/Trans/Chronicle.hs +1/−11

CHANGELOG.md view

@@ -1,3 +1,9 @@+# 1.1++- Remove `disclose`. Use `dictate c >> return def` if you need it.+  No more dependency of `data-default` or `data-default-class`.+  This change is a consequence of change in `data-default-0.8.0.0`+ # 1.0.2  - Support GHC-8.6.5...GHC-9.10.1

monad-chronicle.cabal view

@@ -1,6 +1,6 @@ cabal-version:      >=1.10 name:               monad-chronicle-version:            1.0.2+version:            1.1.0.1 synopsis:           These as a transformer, ChronicleT homepage:           https://github.com/haskellari/these license:            BSD3@@ -22,9 +22,11 @@    || ==9.0.2    || ==9.2.8    || ==9.4.8-   || ==9.6.5-   || ==9.8.2+   || ==9.6.6+   || ==9.8.4    || ==9.10.1+   || ==9.12.4+   || ==9.14.1  source-repository head   type:     git@@ -46,16 +48,11 @@    -- ghc boot libs   build-depends:-      base          >=4.12.0.0 && <4.21+      base          >=4.12.0.0 && <4.23     , mtl           >=2.2.2    && <2.4     , transformers  >=0.5.6.2  && <0.7    build-depends:    these >=1.2.1 && <1.3--  -- other dependencies-  build-depends:-      data-default-class   >=0.1.2.0 && <0.2-    , transformers-compat  >=0.6.5   && <0.8    if flag(semigroupoids)     build-depends: semigroupoids >=6.0.1 && <6.1

src/Control/Monad/Chronicle/Class.hs view

@@ -41,7 +41,6 @@  import Control.Monad             (liftM) import Control.Monad.Trans.Class (lift)-import Data.Default.Class import Data.Semigroup import Prelude @@ -50,15 +49,6 @@     --     --   Equivalent to 'tell' for the 'Writer' monad.     dictate :: c -> m ()--    -- | @'disclose' c@ is an action that records the output @c@ and returns a-    --   @'Default'@ value.-    ---    --   This is a convenience function for reporting non-fatal errors in one-    --   branch a @case@, or similar scenarios when there is no meaningful-    --   result but a placeholder of sorts is needed in order to continue.-    disclose :: (Default a) => c -> m a-    disclose c = dictate c >> return def      -- | @'confess' c@ is an action that ends with a final record @c@.     --

src/Control/Monad/Trans/Chronicle.hs view

@@ -19,7 +19,7 @@     -- * The ChronicleT monad transformer     ChronicleT(..),     -- * Chronicle operations-    dictate, disclose, confess,+    dictate, confess,     memento, absolve, condemn,     retcon,     ) where@@ -28,7 +28,6 @@ import Control.Monad import Control.Monad.Fix import Control.Monad.Trans-import Data.Default.Class import Data.Functor.Identity import Data.Semigroup @@ -154,15 +153,6 @@ --   Equivalent to 'tell' for the 'Writer' monad. dictate :: (Semigroup c, Monad m) => c -> ChronicleT c m () dictate c = ChronicleT $ return (These c ())---- | @'disclose' c@ is an action that records the output @c@ and returns a---   @'Default'@ value.------   This is a convenience function for reporting non-fatal errors in one---   branch a @case@, or similar scenarios when there is no meaningful---   result but a placeholder of sorts is needed in order to continue.-disclose :: (Default a, Semigroup c, Monad m) => c -> ChronicleT c m a-disclose c = dictate c >> return def  -- | @'confess' c@ is an action that ends with a final output @c@. --