packages feed

Cabal revisions of io-classes-1.7.0.0

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

revision 1
-cabal-version:       3.4-name:                io-classes-version:             1.7.0.0-synopsis:            Type classes for concurrency with STM, ST and timing-description:-  IO Monad class hierarchy compatible with:--    * [io-sim](https://hackage.haskell.org/package/io-sim),-    * [base](https://hackage.haskell.org/package/base),-    * [async](https://hackage.haskell.org/package/async),-    * [stm](https://hackage.haskell.org/package/stm),-    * [exceptions](https://hackage.haskell.org/package/exceptions) &-    * [time](https://hackage.haskell.org/package/time)--  packages.--license:             Apache-2.0-license-files:       LICENSE NOTICE-copyright:           2019-2024 Input Output Global Inc (IOG)-author:              Alexander Vieth, Duncan Coutts, Marcin Szamotulski, Thomas Winant-maintainer:          Duncan Coutts duncan@well-typed.com, Marcin Szamotulski coot@coot.me-category:            Control-build-type:          Simple-extra-doc-files:     CHANGELOG.md README.md strict-stm/README.md strict-mvar/README.md-bug-reports:         https://github.com/input-output-hk/io-sim/issues-tested-with:         GHC == { 8.10, 9.2, 9.4, 9.6, 9.8, 9.10 }--source-repository head-  type:     git-  location: https://github.com/input-output-hk/io-sim-  subdir:   io-classes--flag asserts-  description: Enable assertions-  manual:      False-  default:     False--common warnings-    ghc-options: -Wall-                 -Wcompat-                 -Wincomplete-uni-patterns-                 -Wincomplete-record-updates-                 -Wpartial-fields-                 -Widentities-                 -Wunused-packages-                 -Wno-redundant-constraints-                 -Wno-unticked-promoted-constructors--library-  import:              warnings-  hs-source-dirs:      src--  -- At this experiment/prototype stage everything is exposed.-  -- This has to be tidied up once the design becomes clear.-  exposed-modules:     Control.Concurrent.Class.MonadMVar-                       Control.Concurrent.Class.MonadSTM-                       Control.Concurrent.Class.MonadSTM.TArray-                       Control.Concurrent.Class.MonadSTM.TBQueue-                       Control.Concurrent.Class.MonadSTM.TChan-                       Control.Concurrent.Class.MonadSTM.TMVar-                       Control.Concurrent.Class.MonadSTM.TQueue-                       Control.Concurrent.Class.MonadSTM.TSem-                       Control.Concurrent.Class.MonadSTM.TVar-                       Control.Monad.Class.MonadAsync-                       Control.Monad.Class.MonadEventlog-                       Control.Monad.Class.MonadFork-                       Control.Monad.Class.MonadSay-                       Control.Monad.Class.MonadST-                       Control.Monad.Class.MonadSTM-                       Control.Monad.Class.MonadSTM.Internal-                       Control.Monad.Class.MonadThrow-                       Control.Monad.Class.MonadTime-                       Control.Monad.Class.MonadTimer-                       Control.Monad.Class.MonadTest-  default-language:    Haskell2010-  default-extensions:  ImportQualifiedPost-  other-extensions:    CPP-                       DataKinds-                       DefaultSignatures-                       DeriveFunctor-                       DeriveGeneric-                       DerivingStrategies-                       ExistentialQuantification-                       ExplicitNamespaces-                       FlexibleContexts-                       FlexibleInstances-                       FunctionalDependencies-                       GADTs-                       GeneralisedNewtypeDeriving-                       MultiParamTypeClasses-                       NamedFieldPuns-                       QuantifiedConstraints-                       RankNTypes-                       ScopedTypeVariables-                       StandaloneDeriving-                       TypeFamilies-                       TypeFamilyDependencies-                       TypeOperators-                       UndecidableInstances-  build-depends:       base  >=4.9 && <4.21,-                       array,-                       async >=2.1,-                       bytestring,-                       mtl   >=2.2 && <2.4,-                       primitive >= 0.7 && <0.11,-                       stm   >=2.5 && <2.5.2 || >=2.5.3 && <2.6,-                       time  >=1.9.1 && <1.13-  if impl(ghc >= 9.10)-    build-depends:     ghc-internal--  if flag(asserts)-    ghc-options: -fno-ignore-asserts--library strict-stm-  visibility:          public-  hs-source-dirs:      strict-stm--  exposed-modules:     Control.Concurrent.Class.MonadSTM.Strict-                       Control.Concurrent.Class.MonadSTM.Strict.TArray-                       Control.Concurrent.Class.MonadSTM.Strict.TBQueue-                       Control.Concurrent.Class.MonadSTM.Strict.TChan-                       Control.Concurrent.Class.MonadSTM.Strict.TMVar-                       Control.Concurrent.Class.MonadSTM.Strict.TQueue-                       Control.Concurrent.Class.MonadSTM.Strict.TVar-  reexported-modules:  Control.Concurrent.Class.MonadSTM.TSem as Control.Concurrent.Class.MonadSTM.Strict.TSem-  default-language:    Haskell2010-  default-extensions:  ImportQualifiedPost-  build-depends:       base        >= 4.9 && <4.21,-                       array,-                       stm         >= 2.5 && <2.6,--                       io-classes:io-classes,-  ghc-options:         -Wall-                       -Wno-unticked-promoted-constructors-                       -Wcompat-                       -Wincomplete-uni-patterns-                       -Wincomplete-record-updates-                       -Wpartial-fields-                       -Widentities--  if flag(asserts)-    ghc-options: -fno-ignore-asserts--library strict-mvar-  visibility:          public-  hs-source-dirs:      strict-mvar/src--  exposed-modules:     Control.Concurrent.Class.MonadMVar.Strict-  default-language:    Haskell2010-  default-extensions:  ImportQualifiedPost-  build-depends:       base        >= 4.9 && <4.21,-                       io-classes:io-classes,-  ghc-options:         -Wall-                       -Wno-unticked-promoted-constructors-                       -Wcompat-                       -Wincomplete-uni-patterns-                       -Wincomplete-record-updates-                       -Wpartial-fields-                       -Widentities--library si-timers-  import:              warnings-  visibility:          public-  hs-source-dirs:      si-timers/src-  exposed-modules:     Control.Monad.Class.MonadTime.SI-                       Control.Monad.Class.MonadTimer.SI-  other-modules:       Control.Monad.Class.MonadTimer.NonStandard-  default-language:    Haskell2010-  default-extensions:  ImportQualifiedPost-  other-extensions:    BangPatterns,-                       CPP,-                       ConstraintKinds,-                       DefaultSignatures,-                       DeriveGeneric,-                       NumericUnderscores,-                       ScopedTypeVariables,-                       TypeFamilies-  build-depends:       base              >=4.9 && <4.21,-                       deepseq,-                       mtl,-                       nothunks,-                       stm,-                       time              >=1.9.1 && <1.13,--                       io-classes:io-classes-  if flag(asserts)-     ghc-options:      -fno-ignore-asserts--library mtl-    import:           warnings-    visibility:       public-    exposed-modules:  Control.Monad.Class.Trans-                   ,  Control.Monad.Class.MonadEventlog.Trans-                   ,  Control.Monad.Class.MonadSay.Trans-                   ,  Control.Monad.Class.MonadST.Trans-                   ,  Control.Monad.Class.MonadSTM.Trans-                   ,  Control.Monad.Class.MonadThrow.Trans-                   ,  Control.Monad.Class.MonadTime.Trans-                   ,  Control.Monad.Class.MonadTime.SI.Trans-                   ,  Control.Monad.Class.MonadTimer.Trans-                   ,  Control.Monad.Class.MonadTimer.SI.Trans-    build-depends:    base >=4.9 && <4.21,-                      array,-                      mtl,--                      io-classes:{io-classes,si-timers}--    hs-source-dirs:   mtl-    default-language: Haskell2010-    default-extensions:  ImportQualifiedPost--library testlib-  import:              warnings-  visibility:          public-  hs-source-dirs:      test-  exposed-modules:     Test.Control.Concurrent.Class.MonadMVar.Strict.WHNF-  default-language:    Haskell2010-  default-extensions:  ImportQualifiedPost-  build-depends:       base              >=4.9 && <4.21,-                       nothunks,-                       QuickCheck,-                       io-classes:strict-mvar-  if flag(asserts)-     ghc-options:      -fno-ignore-asserts--test-suite test-strict-mvar-  type:                exitcode-stdio-1.0-  hs-source-dirs:      strict-mvar/test-  main-is:             Main.hs--  default-language:    Haskell2010-  default-extensions:  ImportQualifiedPost-  build-depends:       base,-                       QuickCheck,-                       tasty,-                       tasty-quickcheck,-                       io-classes:testlib--  ghc-options:         -Wall-                       -Wno-unticked-promoted-constructors-                       -Wcompat-                       -Wincomplete-uni-patterns-                       -Wincomplete-record-updates-                       -Wpartial-fields-                       -Widentities-                       -fno-ignore-asserts---- Since `io-sim` depends on `si-times` (`io-sim` depends on `Time`) some tests of--- are in `io-sim:test`: this is a good enough reason to pull `io-sim:test`--- into a seprate package.-test-suite test-si-timers-  import:              warnings-  type:                exitcode-stdio-1.0-  hs-source-dirs:      si-timers/test-  main-is:             Main.hs-  other-modules:       Test.MonadTimer-  default-language:    Haskell2010-  default-extensions:  ImportQualifiedPost-  build-depends:       base,--                       QuickCheck,-                       tasty,-                       tasty-quickcheck,--                       io-classes:si-timers+cabal-version:       3.4
+name:                io-classes
+version:             1.7.0.0
+x-revision: 1
+synopsis:            Type classes for concurrency with STM, ST and timing
+description:
+  IO Monad class hierarchy compatible with:
+
+    * [io-sim](https://hackage.haskell.org/package/io-sim),
+    * [base](https://hackage.haskell.org/package/base),
+    * [async](https://hackage.haskell.org/package/async),
+    * [stm](https://hackage.haskell.org/package/stm),
+    * [exceptions](https://hackage.haskell.org/package/exceptions) &
+    * [time](https://hackage.haskell.org/package/time)
+
+  packages.
+
+  = Documentation
+  https://input-output-hk.github.io/io-sim
+license:             Apache-2.0
+license-files:       LICENSE NOTICE
+copyright:           2019-2024 Input Output Global Inc (IOG)
+author:              Alexander Vieth, Duncan Coutts, Marcin Szamotulski, Thomas Winant
+maintainer:          Duncan Coutts duncan@well-typed.com, Marcin Szamotulski coot@coot.me
+category:            Control
+build-type:          Simple
+extra-doc-files:     CHANGELOG.md README.md strict-stm/README.md strict-mvar/README.md
+bug-reports:         https://github.com/input-output-hk/io-sim/issues
+tested-with:         GHC == { 8.10, 9.2, 9.4, 9.6, 9.8, 9.10 }
+
+source-repository head
+  type:     git
+  location: https://github.com/input-output-hk/io-sim
+  subdir:   io-classes
+
+flag asserts
+  description: Enable assertions
+  manual:      False
+  default:     False
+
+common warnings
+    ghc-options: -Wall
+                 -Wcompat
+                 -Wincomplete-uni-patterns
+                 -Wincomplete-record-updates
+                 -Wpartial-fields
+                 -Widentities
+                 -Wunused-packages
+                 -Wno-redundant-constraints
+                 -Wno-unticked-promoted-constructors
+
+library
+  import:              warnings
+  hs-source-dirs:      src
+
+  -- At this experiment/prototype stage everything is exposed.
+  -- This has to be tidied up once the design becomes clear.
+  exposed-modules:     Control.Concurrent.Class.MonadMVar
+                       Control.Concurrent.Class.MonadSTM
+                       Control.Concurrent.Class.MonadSTM.TArray
+                       Control.Concurrent.Class.MonadSTM.TBQueue
+                       Control.Concurrent.Class.MonadSTM.TChan
+                       Control.Concurrent.Class.MonadSTM.TMVar
+                       Control.Concurrent.Class.MonadSTM.TQueue
+                       Control.Concurrent.Class.MonadSTM.TSem
+                       Control.Concurrent.Class.MonadSTM.TVar
+                       Control.Monad.Class.MonadAsync
+                       Control.Monad.Class.MonadEventlog
+                       Control.Monad.Class.MonadFork
+                       Control.Monad.Class.MonadSay
+                       Control.Monad.Class.MonadST
+                       Control.Monad.Class.MonadSTM
+                       Control.Monad.Class.MonadSTM.Internal
+                       Control.Monad.Class.MonadThrow
+                       Control.Monad.Class.MonadTime
+                       Control.Monad.Class.MonadTimer
+                       Control.Monad.Class.MonadTest
+  default-language:    Haskell2010
+  default-extensions:  ImportQualifiedPost
+  other-extensions:    CPP
+                       DataKinds
+                       DefaultSignatures
+                       DeriveFunctor
+                       DeriveGeneric
+                       DerivingStrategies
+                       ExistentialQuantification
+                       ExplicitNamespaces
+                       FlexibleContexts
+                       FlexibleInstances
+                       FunctionalDependencies
+                       GADTs
+                       GeneralisedNewtypeDeriving
+                       MultiParamTypeClasses
+                       NamedFieldPuns
+                       QuantifiedConstraints
+                       RankNTypes
+                       ScopedTypeVariables
+                       StandaloneDeriving
+                       TypeFamilies
+                       TypeFamilyDependencies
+                       TypeOperators
+                       UndecidableInstances
+  build-depends:       base  >=4.9 && <4.21,
+                       array,
+                       async >=2.1,
+                       bytestring,
+                       mtl   >=2.2 && <2.4,
+                       primitive >= 0.7 && <0.11,
+                       stm   >=2.5 && <2.5.2 || >=2.5.3 && <2.6,
+                       time  >=1.9.1 && <1.13
+  if impl(ghc >= 9.10)
+    build-depends:     ghc-internal
+
+  if flag(asserts)
+    ghc-options: -fno-ignore-asserts
+
+library strict-stm
+  visibility:          public
+  hs-source-dirs:      strict-stm
+
+  exposed-modules:     Control.Concurrent.Class.MonadSTM.Strict
+                       Control.Concurrent.Class.MonadSTM.Strict.TArray
+                       Control.Concurrent.Class.MonadSTM.Strict.TBQueue
+                       Control.Concurrent.Class.MonadSTM.Strict.TChan
+                       Control.Concurrent.Class.MonadSTM.Strict.TMVar
+                       Control.Concurrent.Class.MonadSTM.Strict.TQueue
+                       Control.Concurrent.Class.MonadSTM.Strict.TVar
+  reexported-modules:  Control.Concurrent.Class.MonadSTM.TSem as Control.Concurrent.Class.MonadSTM.Strict.TSem
+  default-language:    Haskell2010
+  default-extensions:  ImportQualifiedPost
+  build-depends:       base        >= 4.9 && <4.21,
+                       array,
+                       stm         >= 2.5 && <2.6,
+
+                       io-classes:io-classes,
+  ghc-options:         -Wall
+                       -Wno-unticked-promoted-constructors
+                       -Wcompat
+                       -Wincomplete-uni-patterns
+                       -Wincomplete-record-updates
+                       -Wpartial-fields
+                       -Widentities
+
+  if flag(asserts)
+    ghc-options: -fno-ignore-asserts
+
+library strict-mvar
+  visibility:          public
+  hs-source-dirs:      strict-mvar/src
+
+  exposed-modules:     Control.Concurrent.Class.MonadMVar.Strict
+  default-language:    Haskell2010
+  default-extensions:  ImportQualifiedPost
+  build-depends:       base        >= 4.9 && <4.21,
+                       io-classes:io-classes,
+  ghc-options:         -Wall
+                       -Wno-unticked-promoted-constructors
+                       -Wcompat
+                       -Wincomplete-uni-patterns
+                       -Wincomplete-record-updates
+                       -Wpartial-fields
+                       -Widentities
+
+library si-timers
+  import:              warnings
+  visibility:          public
+  hs-source-dirs:      si-timers/src
+  exposed-modules:     Control.Monad.Class.MonadTime.SI
+                       Control.Monad.Class.MonadTimer.SI
+  other-modules:       Control.Monad.Class.MonadTimer.NonStandard
+  default-language:    Haskell2010
+  default-extensions:  ImportQualifiedPost
+  other-extensions:    BangPatterns,
+                       CPP,
+                       ConstraintKinds,
+                       DefaultSignatures,
+                       DeriveGeneric,
+                       NumericUnderscores,
+                       ScopedTypeVariables,
+                       TypeFamilies
+  build-depends:       base              >=4.9 && <4.21,
+                       deepseq,
+                       mtl,
+                       nothunks,
+                       stm,
+                       time              >=1.9.1 && <1.13,
+
+                       io-classes:io-classes
+  if flag(asserts)
+     ghc-options:      -fno-ignore-asserts
+
+library mtl
+    import:           warnings
+    visibility:       public
+    exposed-modules:  Control.Monad.Class.Trans
+                   ,  Control.Monad.Class.MonadEventlog.Trans
+                   ,  Control.Monad.Class.MonadSay.Trans
+                   ,  Control.Monad.Class.MonadST.Trans
+                   ,  Control.Monad.Class.MonadSTM.Trans
+                   ,  Control.Monad.Class.MonadThrow.Trans
+                   ,  Control.Monad.Class.MonadTime.Trans
+                   ,  Control.Monad.Class.MonadTime.SI.Trans
+                   ,  Control.Monad.Class.MonadTimer.Trans
+                   ,  Control.Monad.Class.MonadTimer.SI.Trans
+    build-depends:    base >=4.9 && <4.21,
+                      array,
+                      mtl,
+
+                      io-classes:{io-classes,si-timers}
+
+    hs-source-dirs:   mtl
+    default-language: Haskell2010
+    default-extensions:  ImportQualifiedPost
+
+library testlib
+  import:              warnings
+  visibility:          public
+  hs-source-dirs:      test
+  exposed-modules:     Test.Control.Concurrent.Class.MonadMVar.Strict.WHNF
+  default-language:    Haskell2010
+  default-extensions:  ImportQualifiedPost
+  build-depends:       base              >=4.9 && <4.21,
+                       nothunks,
+                       QuickCheck,
+                       io-classes:strict-mvar
+  if flag(asserts)
+     ghc-options:      -fno-ignore-asserts
+
+test-suite test-strict-mvar
+  type:                exitcode-stdio-1.0
+  hs-source-dirs:      strict-mvar/test
+  main-is:             Main.hs
+
+  default-language:    Haskell2010
+  default-extensions:  ImportQualifiedPost
+  build-depends:       base,
+                       QuickCheck,
+                       tasty,
+                       tasty-quickcheck,
+                       io-classes:testlib
+
+  ghc-options:         -Wall
+                       -Wno-unticked-promoted-constructors
+                       -Wcompat
+                       -Wincomplete-uni-patterns
+                       -Wincomplete-record-updates
+                       -Wpartial-fields
+                       -Widentities
+                       -fno-ignore-asserts
+
+-- Since `io-sim` depends on `si-times` (`io-sim` depends on `Time`) some tests of
+-- are in `io-sim:test`: this is a good enough reason to pull `io-sim:test`
+-- into a seprate package.
+test-suite test-si-timers
+  import:              warnings
+  type:                exitcode-stdio-1.0
+  hs-source-dirs:      si-timers/test
+  main-is:             Main.hs
+  other-modules:       Test.MonadTimer
+  default-language:    Haskell2010
+  default-extensions:  ImportQualifiedPost
+  build-depends:       base,
+
+                       QuickCheck,
+                       tasty,
+                       tasty-quickcheck,
+
+                       io-classes:si-timers
revision 2
 cabal-version:       3.4
 name:                io-classes
 version:             1.7.0.0
-x-revision: 1
+x-revision: 2
 synopsis:            Type classes for concurrency with STM, ST and timing
 description:
   IO Monad class hierarchy compatible with:
 
   packages.
 
+  = Sublibraries
+  `io-classes` provides non-standard extensions distributed in public
+  sublibraries
+
+    * @io-classes:io-classes@ - the main library compatible with the above
+      packages
+    * @io-classes:strict-stm@ - strict @STM@ API
+    * @io-classes:strict-mvar@ - strict @MVar@ API
+    * @io-classes:si-timers@ - SI-unit based time / timers API, cancellable timers
+    * @io-classes:mtl@ - MTL instances, some of which are experiemental
+
   = Documentation
-  https://input-output-hk.github.io/io-sim
+  Haddocks of all public sublibraries are published
+  [here](https://input-output-hk.github.io/io-sim).
+
+
+
 license:             Apache-2.0
 license-files:       LICENSE NOTICE
 copyright:           2019-2024 Input Output Global Inc (IOG)
revision 3
 cabal-version:       3.4
 name:                io-classes
 version:             1.7.0.0
-x-revision: 2
+x-revision: 3
 synopsis:            Type classes for concurrency with STM, ST and timing
 description:
   IO Monad class hierarchy compatible with:
                        TypeFamilyDependencies
                        TypeOperators
                        UndecidableInstances
-  build-depends:       base  >=4.9 && <4.21,
+  build-depends:       base  >=4.9 && <4.22,
                        array,
                        async >=2.1,
                        bytestring,
   reexported-modules:  Control.Concurrent.Class.MonadSTM.TSem as Control.Concurrent.Class.MonadSTM.Strict.TSem
   default-language:    Haskell2010
   default-extensions:  ImportQualifiedPost
-  build-depends:       base        >= 4.9 && <4.21,
+  build-depends:       base        >= 4.9 && <4.22,
                        array,
                        stm         >= 2.5 && <2.6,
 
                        NumericUnderscores,
                        ScopedTypeVariables,
                        TypeFamilies
-  build-depends:       base              >=4.9 && <4.21,
+  build-depends:       base              >=4.9 && <4.22,
                        deepseq,
                        mtl,
                        nothunks,
   exposed-modules:     Test.Control.Concurrent.Class.MonadMVar.Strict.WHNF
   default-language:    Haskell2010
   default-extensions:  ImportQualifiedPost
-  build-depends:       base              >=4.9 && <4.21,
+  build-depends:       base              >=4.9 && <4.22,
                        nothunks,
                        QuickCheck,
                        io-classes:strict-mvar
revision 4
 cabal-version:       3.4
 name:                io-classes
 version:             1.7.0.0
-x-revision: 3
+x-revision: 4
 synopsis:            Type classes for concurrency with STM, ST and timing
 description:
   IO Monad class hierarchy compatible with:
   exposed-modules:     Control.Concurrent.Class.MonadMVar.Strict
   default-language:    Haskell2010
   default-extensions:  ImportQualifiedPost
-  build-depends:       base        >= 4.9 && <4.21,
+  build-depends:       base        >= 4.9 && <4.22,
                        io-classes:io-classes,
   ghc-options:         -Wall
                        -Wno-unticked-promoted-constructors
                    ,  Control.Monad.Class.MonadTime.SI.Trans
                    ,  Control.Monad.Class.MonadTimer.Trans
                    ,  Control.Monad.Class.MonadTimer.SI.Trans
-    build-depends:    base >=4.9 && <4.21,
+    build-depends:    base >=4.9 && <4.22,
                       array,
                       mtl,
 
revision 5
 cabal-version:       3.4
 name:                io-classes
 version:             1.7.0.0
-x-revision: 4
+x-revision: 5
 synopsis:            Type classes for concurrency with STM, ST and timing
 description:
   IO Monad class hierarchy compatible with:
                        mtl   >=2.2 && <2.4,
                        primitive >= 0.7 && <0.11,
                        stm   >=2.5 && <2.5.2 || >=2.5.3 && <2.6,
-                       time  >=1.9.1 && <1.13
+                       time  >=1.9.1 && <1.15
   if impl(ghc >= 9.10)
     build-depends:     ghc-internal
 
                        mtl,
                        nothunks,
                        stm,
-                       time              >=1.9.1 && <1.13,
+                       time              >=1.9.1 && <1.15,
 
                        io-classes:io-classes
   if flag(asserts)