di-polysemy 0.1.0.0 → 0.1.1.0
raw patch · 2 files changed
+79/−86 lines, 2 filesdep −polysemy-pluginPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: polysemy-plugin
API changes (from Hackage documentation)
- DiPolysemy: alert :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
+ DiPolysemy: alert :: forall msg path r. (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
- DiPolysemy: alert_ :: Member (Di Level path Message) r => Message -> Sem r ()
+ DiPolysemy: alert_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()
- DiPolysemy: attr :: (ToValue value, Member (Di level Path msg) r) => Key -> value -> Sem r a -> Sem r a
+ DiPolysemy: attr :: forall value level msg r a. (ToValue value, Member (Di level Path msg) r) => Key -> value -> Sem r a -> Sem r a
- DiPolysemy: attr_ :: forall level_ahGp msg_ahGq r_aikf a_ahGo. MemberWithError (Di level_ahGp Path msg_ahGq) r_aikf => Key -> Value -> Sem r_aikf a_ahGo -> Sem r_aikf a_ahGo
+ DiPolysemy: attr_ :: forall level_abPW msg_abPX r_actM a_abPV. MemberWithError (Di level_abPW Path msg_abPX) r_actM => Key -> Value -> Sem r_actM a_abPV -> Sem r_actM a_abPV
- DiPolysemy: critical :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
+ DiPolysemy: critical :: forall msg path r. (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
- DiPolysemy: critical_ :: Member (Di Level path Message) r => Message -> Sem r ()
+ DiPolysemy: critical_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()
- DiPolysemy: debug :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
+ DiPolysemy: debug :: forall msg path r. (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
- DiPolysemy: debug_ :: Member (Di Level path Message) r => Message -> Sem r ()
+ DiPolysemy: debug_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()
- DiPolysemy: emergency :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
+ DiPolysemy: emergency :: forall msg path r. (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
- DiPolysemy: emergency_ :: Member (Di Level path Message) r => Message -> Sem r ()
+ DiPolysemy: emergency_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()
- DiPolysemy: error :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
+ DiPolysemy: error :: forall msg path r. (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
- DiPolysemy: error_ :: Member (Di Level path Message) r => Message -> Sem r ()
+ DiPolysemy: error_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()
- DiPolysemy: flush :: forall level_ahuE path_ahuF msg_ahuG r_aikb. MemberWithError (Di level_ahuE path_ahuF msg_ahuG) r_aikb => Sem r_aikb ()
+ DiPolysemy: flush :: forall level_abEb path_abEc msg_abEd r_actI. MemberWithError (Di level_abEb path_abEc msg_abEd) r_actI => Sem r_actI ()
- DiPolysemy: info :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
+ DiPolysemy: info :: forall msg path r. (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
- DiPolysemy: info_ :: Member (Di Level path Message) r => Message -> Sem r ()
+ DiPolysemy: info_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()
- DiPolysemy: log :: forall level_ahuA path_ahuC msg_ahuB r_aik8. MemberWithError (Di level_ahuA path_ahuC msg_ahuB) r_aik8 => level_ahuA -> msg_ahuB -> Sem r_aik8 ()
+ DiPolysemy: log :: forall level_abE7 path_abE9 msg_abE8 r_actF. MemberWithError (Di level_abE7 path_abE9 msg_abE8) r_actF => level_abE7 -> msg_abE8 -> Sem r_actF ()
- DiPolysemy: notice :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
+ DiPolysemy: notice :: forall msg path r. (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
- DiPolysemy: notice_ :: Member (Di Level path Message) r => Message -> Sem r ()
+ DiPolysemy: notice_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()
- DiPolysemy: push :: forall level_ahuK msg_ahuL r_aikc a_ahuJ. MemberWithError (Di level_ahuK Path msg_ahuL) r_aikc => Segment -> Sem r_aikc a_ahuJ -> Sem r_aikc a_ahuJ
+ DiPolysemy: push :: forall level_abEh msg_abEi r_actJ a_abEg. MemberWithError (Di level_abEh Path msg_abEi) r_actJ => Segment -> Sem r_actJ a_abEg -> Sem r_actJ a_abEg
- DiPolysemy: warning :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
+ DiPolysemy: warning :: forall msg path r. (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r ()
- DiPolysemy: warning_ :: Member (Di Level path Message) r => Message -> Sem r ()
+ DiPolysemy: warning_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()
Files
- di-polysemy.cabal +42/−49
- src/DiPolysemy.hs +37/−37
di-polysemy.cabal view
@@ -1,58 +1,51 @@ cabal-version: 1.18-name: di-polysemy-version: 0.1.0.0-license: MIT-license-file: LICENSE-copyright: 2020 Ben Simms-maintainer: ben@bensimms.moe-author: Ben Simms-tested-with: ghc ==8.6.5-homepage: https://github.com/nitros12/di-polysemy-bug-reports: https://github.com/nitros12/di-polysemy/issues-synopsis: DI logger wrapped for Polysemy-description:- Please see the README on GitHub at <https://github.com/nitros12/di-polysemy>-category: Logging-build-type: Simple++-- This file has been generated from package.yaml by hpack version 0.31.2.+--+-- see: https://github.com/sol/hpack+--+-- hash: f161d8007cb345e44fd676ff9faabcebd48f4844b2004204f5288adb6a38f336++name: di-polysemy+version: 0.1.1.0+synopsis: DI logger wrapped for Polysemy+description: Please see the README on GitHub at <https://github.com/nitros12/di-polysemy>+category: Logging+homepage: https://github.com/nitros12/di-polysemy+bug-reports: https://github.com/nitros12/di-polysemy/issues+author: Ben Simms+maintainer: ben@bensimms.moe+copyright: 2020 Ben Simms+license: MIT+license-file: LICENSE+tested-with: GHC == 8.6.5+build-type: Simple extra-source-files: README.md CHANGELOG.md cabal.project-extra-doc-files: README.md- CHANGELOG.md+extra-doc-files:+ README.md+ CHANGELOG.md source-repository head- type: git- location: https://github.com/nitros12/di-polysemy+ type: git+ location: https://github.com/nitros12/di-polysemy library- exposed-modules:- DiPolysemy- hs-source-dirs: src- other-modules:- Paths_di_polysemy- default-language: Haskell2010- default-extensions: TemplateHaskell RecursiveDo CPP- AllowAmbiguousTypes BlockArguments NoMonomorphismRestriction- AutoDeriveTypeable BangPatterns BinaryLiterals UndecidableInstances- ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable- DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable- DoAndIfThenElse EmptyDataDecls ExistentialQuantification- FlexibleContexts FlexibleInstances FunctionalDependencies GADTs- DerivingVia DerivingStrategies GeneralizedNewtypeDeriving- StandaloneDeriving DeriveAnyClass InstanceSigs KindSignatures- LambdaCase MonadFailDesugaring MultiParamTypeClasses MultiWayIf- NamedFieldPuns OverloadedStrings OverloadedLabels- PartialTypeSignatures PatternGuards PolyKinds RankNTypes- RecordWildCards ScopedTypeVariables TupleSections TypeFamilies- TypeSynonymInstances ViewPatterns DuplicateRecordFields- TypeOperators TypeApplications RoleAnnotations PatternSynonyms- ghc-options: -fplugin=Polysemy.Plugin -Wall- build-depends:- base >=4.12 && <5,- df1 >=0.3.2 && <0.4,- di-core >=1.0.4 && <2,- di-df1 >=1.2 && <2,- di-handle >=1.0.1 && <2,- polysemy >=1.3 && <2,- polysemy-plugin ==0.2.*+ exposed-modules:+ DiPolysemy+ other-modules:+ Paths_di_polysemy+ hs-source-dirs:+ src+ default-extensions: TemplateHaskell RecursiveDo CPP AllowAmbiguousTypes BlockArguments NoMonomorphismRestriction AutoDeriveTypeable BangPatterns BinaryLiterals UndecidableInstances ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DoAndIfThenElse EmptyDataDecls ExistentialQuantification FlexibleContexts FlexibleInstances FunctionalDependencies GADTs DerivingVia DerivingStrategies GeneralizedNewtypeDeriving StandaloneDeriving DeriveAnyClass InstanceSigs KindSignatures LambdaCase MonadFailDesugaring MultiParamTypeClasses MultiWayIf NamedFieldPuns OverloadedStrings OverloadedLabels PartialTypeSignatures PatternGuards PolyKinds RankNTypes RecordWildCards ScopedTypeVariables TupleSections TypeFamilies TypeSynonymInstances ViewPatterns DuplicateRecordFields TypeOperators TypeApplications RoleAnnotations PatternSynonyms+ ghc-options: -Wall+ build-depends:+ base >=4.12 && <5+ , df1 >=0.3.2 && <0.4+ , di-core >=1.0.4 && <2+ , di-df1 >=1.2 && <2+ , di-handle >=1.0.1 && <2+ , polysemy >=1.3 && <2+ default-language: Haskell2010
src/DiPolysemy.hs view
@@ -75,10 +75,10 @@ go :: Member (Embed IO) r0 => DC.Di level D.Path msg -> Sem (Di level D.Path msg ': r0) a0 -> Sem r0 a0 go di m = (`interpretH` m) $ \case Log level msg -> do- t <- embed $ DC.log di level msg+ t <- embed @IO $ DC.log di level msg pureT t Flush -> do- t <- embed $ DC.flush di+ t <- embed @IO $ DC.flush di pureT t Push s m' -> do mm <- runT m'@@ -89,56 +89,56 @@ runDiToStderrIO :: Member (Embed IO) r => Sem (Di D.Level D.Path D.Message ': r) a -> Sem r a runDiToStderrIO m = do- commit <- embed $ DH.stderr Df1.df1+ commit <- embed @IO $ DH.stderr Df1.df1 runDiToIO commit m -attr :: (D.ToValue value, Member (Di level D.Path msg) r) => D.Key -> value -> Sem r a -> Sem r a-attr k v = attr_ k (D.value v)+attr :: forall value level msg r a. (D.ToValue value, Member (Di level D.Path msg) r) => D.Key -> value -> Sem r a -> Sem r a+attr k v = attr_ @level @msg k (D.value v) -debug :: (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()-debug = log D.Debug . D.message+debug :: forall msg path r. (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()+debug = log @D.Level @path D.Debug . D.message -info :: (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()-info = log D.Info . D.message+info :: forall msg path r. (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()+info = log @D.Level @path D.Info . D.message -notice :: (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()-notice = log D.Notice . D.message+notice :: forall msg path r. (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()+notice = log @D.Level @path D.Notice . D.message -warning :: (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()-warning = log D.Warning . D.message+warning :: forall msg path r. (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()+warning = log @D.Level @path D.Warning . D.message -error :: (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()-error = log D.Error . D.message+error :: forall msg path r. (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()+error = log @D.Level @path D.Error . D.message -alert :: (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()-alert = log D.Alert . D.message+alert :: forall msg path r. (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()+alert = log @D.Level @path D.Alert . D.message -critical :: (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()-critical = log D.Critical . D.message+critical :: forall msg path r. (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()+critical = log @D.Level @path D.Critical . D.message -emergency :: (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()-emergency = log D.Emergency . D.message+emergency :: forall msg path r. (D.ToMessage msg, Member (Di D.Level path D.Message) r) => msg -> Sem r ()+emergency = log @D.Level @path D.Emergency . D.message -debug_ :: Member (Di D.Level path D.Message) r => D.Message -> Sem r ()-debug_ = log D.Debug+debug_ :: forall path r. Member (Di D.Level path D.Message) r => D.Message -> Sem r ()+debug_ = log @D.Level @path D.Debug -info_ :: Member (Di D.Level path D.Message) r => D.Message -> Sem r ()-info_ = log D.Info+info_ :: forall path r. Member (Di D.Level path D.Message) r => D.Message -> Sem r ()+info_ = log @D.Level @path D.Info -notice_ :: Member (Di D.Level path D.Message) r => D.Message -> Sem r ()-notice_ = log D.Notice+notice_ :: forall path r. Member (Di D.Level path D.Message) r => D.Message -> Sem r ()+notice_ = log @D.Level @path D.Notice -warning_ :: Member (Di D.Level path D.Message) r => D.Message -> Sem r ()-warning_ = log D.Warning+warning_ :: forall path r. Member (Di D.Level path D.Message) r => D.Message -> Sem r ()+warning_ = log @D.Level @path D.Warning -error_ :: Member (Di D.Level path D.Message) r => D.Message -> Sem r ()-error_ = log D.Error+error_ :: forall path r. Member (Di D.Level path D.Message) r => D.Message -> Sem r ()+error_ = log @D.Level @path D.Error -alert_ :: Member (Di D.Level path D.Message) r => D.Message -> Sem r ()-alert_ = log D.Alert+alert_ :: forall path r. Member (Di D.Level path D.Message) r => D.Message -> Sem r ()+alert_ = log @D.Level @path D.Alert -critical_ :: Member (Di D.Level path D.Message) r => D.Message -> Sem r ()-critical_ = log D.Critical+critical_ :: forall path r. Member (Di D.Level path D.Message) r => D.Message -> Sem r ()+critical_ = log @D.Level @path D.Critical -emergency_ :: Member (Di D.Level path D.Message) r => D.Message -> Sem r ()-emergency_ = log D.Emergency+emergency_ :: forall path r. Member (Di D.Level path D.Message) r => D.Message -> Sem r ()+emergency_ = log @D.Level @path D.Emergency