di-df1 1.0 → 1.0.1

raw patch · 4 files changed

+23/−114 lines, 4 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

Files

• CHANGELOG.md +6/−1
• di-df1.cabal +1/−1
• lib/Di/Df1.hs +8/−72
• lib/Di/Df1/Monad.hs +8/−40

@@ -1,4 +1,9 @@-# Version 0.1+# Version 1.0.1++* Removed unnecessary `MonadIO` constraint.+++# Version 1.0  * Consider this a preview release: The API is likely to stay stable, but   extensive testing, formalization and tooling is due.

@@ -1,5 +1,5 @@ name: di-df1-version: 1.0+version: 1.0.1 author: Renzo Carbonara maintainer: renλren.zone copyright: Renzo Carbonara 2018

@@ -77,10 +77,6 @@ -- MonadIO variants.  -- | Log a message stating that the system is unusable.------ @--- 'emergency' == 'Di.log' 'Df1.Emergency'--- @ emergency   :: MonadIO m   => Di.Di Df1.Level path Df1.Message@@ -91,10 +87,6 @@  -- | Log a condition that should be corrected immediately, such as a corrupted -- database.------ @--- 'alert' == 'Di.log' 'Df1.Alert'--- @ alert   :: MonadIO m   => Di.Di Df1.Level path Df1.Message@@ -105,10 +97,6 @@  -- | Log a critical condition that could result in system failure, such as a -- disk running out of space.------ @--- 'critical' == 'Di.log' 'Df1.Critical'--- @ critical   :: MonadIO m   => Di.Di Df1.Level path Df1.Message@@ -118,10 +106,6 @@ {-# INLINE critical #-}  -- | Log an error condition, such as an unhandled exception.------ @--- 'error' == 'Di.log' 'Df1.Error'--- @ error   :: MonadIO m   => Di.Di Df1.Level path Df1.Message@@ -132,10 +116,6 @@  -- | Log a warning condition, such as an exception being gracefully handled or -- some missing configuration setting being assigned a default value.------ @--- 'warning' == 'Di.log' 'Df1.Warning'--- @ warning   :: MonadIO m   => Di.Di Df1.Level path Df1.Message@@ -146,10 +126,6 @@  -- | Log a condition that is not an error, but should possibly be handled -- specially.------ @--- 'notice' == 'Di.log' 'Df1.Notice'--- @ notice   :: MonadIO m   => Di.Di Df1.Level path Df1.Message@@ -159,10 +135,6 @@ {-# INLINE notice #-}  -- | Log an informational message.------ @--- 'info' == 'Di.log' 'Df1.Info'--- @ info   :: MonadIO m   => Di.Di Df1.Level path Df1.Message@@ -173,10 +145,6 @@  -- | Log a message intended to be useful only when deliberately debugging a -- program.------ @--- 'debug' == 'Di.log' 'Df1.Debug'--- @ debug   :: MonadIO m   => Di.Di Df1.Level path Df1.Message@@ -189,12 +157,8 @@ -- STM variants  -- | Log a message stating that the system is unusable.------ @--- 'emergency'' == 'Di.log'' 'Df1.Emergency'--- @ emergency'-  :: MonadIO m+  :: Monad m   => (forall x. STM x -> m x)   -> Di.Di Df1.Level path Df1.Message   -> Df1.Message@@ -204,12 +168,8 @@  -- | Log a condition that should be corrected immediately, such as a corrupted -- database.------ @--- 'alert'' == 'Di.log'' 'Df1.Alert'--- @ alert'-  :: MonadIO m+  :: Monad m   => (forall x. STM x -> m x)   -> Di.Di Df1.Level path Df1.Message   -> Df1.Message@@ -219,12 +179,8 @@  -- | Log a critical condition that could result in system failure, such as a -- disk running out of space.------ @--- 'critical'' == 'Di.log'' 'Df1.Critical'--- @ critical'-  :: MonadIO m+  :: Monad m   => (forall x. STM x -> m x)   -> Di.Di Df1.Level path Df1.Message   -> Df1.Message@@ -233,12 +189,8 @@ {-# INLINE critical' #-}  -- | Log an error condition, such as an unhandled exception.------ @--- 'error'' == 'Di.log'' 'Df1.Error'--- @ error'-  :: MonadIO m+  :: Monad m   => (forall x. STM x -> m x)   -> Di.Di Df1.Level path Df1.Message   -> Df1.Message@@ -248,12 +200,8 @@  -- | Log a warning condition, such as an exception being gracefully handled or -- some missing configuration setting being assigned a default value.------ @--- 'warning'' == 'Di.log'' 'Df1.Warning'--- @ warning'-  :: MonadIO m+  :: Monad m   => (forall x. STM x -> m x)   -> Di.Di Df1.Level path Df1.Message   -> Df1.Message@@ -263,12 +211,8 @@  -- | Log a condition that is not an error, but should possibly be handled -- specially.------ @--- 'notice'' == 'Di.log'' 'Df1.Notice'--- @ notice'-  :: MonadIO m+  :: Monad m   => (forall x. STM x -> m x)   -> Di.Di Df1.Level path Df1.Message   -> Df1.Message@@ -277,12 +221,8 @@ {-# INLINE notice' #-}  -- | Log an informational message.------ @--- 'info'' == 'Di.log'' 'Df1.Info'--- @ info'-  :: MonadIO m+  :: Monad m   => (forall x. STM x -> m x)   -> Di.Di Df1.Level path Df1.Message   -> Df1.Message@@ -292,12 +232,8 @@  -- | Log a message intended to be useful only when deliberately debugging a -- program.------ @--- 'debug'' == 'Di.log'' 'Df1.Debug'--- @ debug'-  :: MonadIO m+  :: Monad m   => (forall x. STM x -> m x)   -> Di.Di Df1.Level path Df1.Message   -> Df1.Message

@@ -41,78 +41,46 @@ --------------------------------------------------------------------------------  -- | Log a message stating that the system is unusable.------ @--- 'emergency' == 'Di.log' 'Df1.Emergency'--- @-emergency :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () -- ^+emergency :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () emergency = Di.log Df1.Emergency {-# INLINE emergency #-}  -- | Log a condition that should be corrected immediately, such as a corrupted -- database.------ @--- 'alert' == 'Di.log' 'Df1.Alert'--- @-alert :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () -- ^+alert :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () alert = Di.log Df1.Alert {-# INLINE alert #-}  -- | Log a critical condition that could result in system failure, such as a -- disk running out of space.------ 'critical' == 'Di.log' 'Df1.Critical'--- @-critical :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () -- ^+critical :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () critical = Di.log Df1.Critical {-# INLINE critical #-}  -- | Log an error condition, such as an unhandled exception.------ @--- 'error' == 'Di.log' 'Df1.Error'--- @-error :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () -- ^+error :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () error = Di.log Df1.Error {-# INLINE error #-}  -- | Log a warning condition, such as an exception being gracefully handled or -- some missing configuration setting being assigned a default value.------ @--- 'warning' == 'Di.log' 'Df1.Warning'--- @-warning :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () -- ^+warning :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () warning = Di.log Df1.Warning {-# INLINE warning #-}  -- | Log a condition that is not an error, but should possibly be handled -- specially.------ @--- 'notice' == 'Di.log' 'Df1.Notice'--- @-notice :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () -- ^+notice :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () notice = Di.log Df1.Notice {-# INLINE notice #-} - -- | Log an informational message.------ @--- 'info' == 'Di.log' 'Df1.Info'--- @-info :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () -- ^+info :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () info = Di.log Df1.Info {-# INLINE info #-}  -- | Log a message intended to be useful only when deliberately debugging a -- program.------ @--- 'debug' == 'Di.log' 'Df1.Debug'--- @-debug :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () -- ^+debug :: Di.MonadDi Df1.Level path Df1.Message m => Df1.Message -> m () debug = Di.log Df1.Debug {-# INLINE debug #-}