Merge branch 'main' into update_flake_lock_action

IntersectMBO · Nov 8, 2023 · 114ee46 · 114ee46
2 parents c842c4c + 930df9e
commit 114ee46
Show file tree

Hide file tree

Showing 18 changed files with 646 additions and 0 deletions.
diff --git a/_sources/strict-checked-vars/0.1.0.0/meta.toml b/_sources/strict-checked-vars/0.1.0.0/meta.toml
@@ -1,3 +1,7 @@
 timestamp = 2023-07-31T13:29:43Z
 github = { repo = "input-output-hk/cardano-base/", rev = "85ed95116b8745a212c2265664bf630836bfa05d" }
 subdir = 'strict-checked-vars'
+
+[[revisions]]
+number = 1
+timestamp = 2023-11-08T10:08:20Z
diff --git a/_sources/strict-checked-vars/0.1.0.0/revisions/1.cabal b/_sources/strict-checked-vars/0.1.0.0/revisions/1.cabal
@@ -0,0 +1,90 @@
+cabal-version:   3.0
+name:            strict-checked-vars
+version:         0.1.0.0
+synopsis:
+  Strict MVars and TVars with invariant checking for IO and IOSim
+
+description:
+  Strict @MVar@ and @TVar@ interfaces with invariant checking compatible with
+  [IO](https://hackage.haskell.org/package/base-4.18.0.0/docs/Prelude.html#t:IO)
+  & [io-sim](https://hackage.haskell.org/package/io-sim).
+
+license:         Apache-2.0
+license-files:
+  LICENSE
+  NOTICE
+
+copyright:       2019-2023 Input Output Global Inc (IOG).
+author:          IOG Engineering Team
+maintainer:      [email protected]
+category:        Concurrency
+build-type:      Simple
+extra-doc-files:
+  CHANGELOG.md
+  README.md
+
+bug-reports:     https://github.com/input-output-hk/cardano-base/issues
+tested-with:     GHC ==8.10 || ==9.2 || ==9.6
+
+source-repository head
+  type:     git
+  location: https://github.com/input-output-hk/cardano-base
+  subdir:   strict-checked-vars
+
+flag checkmvarinvariants
+  description: Enable runtime invariant checks on StrictMVars
+  manual:      True
+  default:     False
+
+flag checktvarinvariants
+  description: Enable runtime invariant checks on StrictTVars
+  manual:      True
+  default:     False
+
+library
+  hs-source-dirs:   src
+  exposed-modules:
+    Control.Concurrent.Class.MonadMVar.Strict.Checked
+    Control.Concurrent.Class.MonadMVar.Strict.Checked.Switch
+    Control.Concurrent.Class.MonadSTM.Strict.TVar.Checked
+    Control.Concurrent.Class.MonadSTM.Strict.TVar.Checked.Switch
+
+  default-language: Haskell2010
+  build-depends:
+    , base         >=4.9  && <4.19
+    , io-classes   >=1.2  && <1.4
+    , strict-mvar  >=1.2  && <1.4
+    , strict-stm   >=1.2  && <1.4
+
+  ghc-options:
+    -Wall -Wcompat -Wincomplete-uni-patterns
+    -Wincomplete-record-updates -Wpartial-fields -Widentities
+    -Wunused-packages
+
+  if flag(checkmvarinvariants)
+    cpp-options: -DCHECK_MVAR_INVARIANTS
+
+  if flag(checktvarinvariants)
+    cpp-options: -DCHECK_TVAR_INVARIANTS
+
+test-suite test
+  type:             exitcode-stdio-1.0
+  hs-source-dirs:   test
+  main-is:          Main.hs
+  other-modules:
+    Test.Control.Concurrent.Class.MonadMVar.Strict.Checked
+    Test.Utils
+
+  default-language: Haskell2010
+  build-depends:
+    , base                 >=4.9 && <4.19
+    , io-sim
+    , QuickCheck
+    , strict-checked-vars
+    , tasty
+    , tasty-quickcheck
+
+  ghc-options:
+    -Wall -Wcompat -Wincomplete-uni-patterns
+    -Wincomplete-record-updates -Wpartial-fields -Widentities
+    -Wunused-packages -fno-ignore-asserts
diff --git a/_sources/strict-checked-vars/0.1.0.1/meta.toml b/_sources/strict-checked-vars/0.1.0.1/meta.toml
@@ -1,3 +1,7 @@
 timestamp = 2023-08-02T10:58:44Z
 github = { repo = "input-output-hk/cardano-base", rev = "4427205b436ae3cc154c467a0ace918942e64e1b" }
 subdir = 'strict-checked-vars'
+
+[[revisions]]
+number = 1
+timestamp = 2023-11-08T10:07:48Z
diff --git a/_sources/strict-checked-vars/0.1.0.1/revisions/1.cabal b/_sources/strict-checked-vars/0.1.0.1/revisions/1.cabal
@@ -0,0 +1,90 @@
+cabal-version:   3.0
+name:            strict-checked-vars
+version:         0.1.0.1
+synopsis:
+  Strict MVars and TVars with invariant checking for IO and IOSim
+
+description:
+  Strict @MVar@ and @TVar@ interfaces with invariant checking compatible with
+  [IO](https://hackage.haskell.org/package/base-4.18.0.0/docs/Prelude.html#t:IO)
+  & [io-sim](https://hackage.haskell.org/package/io-sim).
+
+license:         Apache-2.0
+license-files:
+  LICENSE
+  NOTICE
+
+copyright:       2019-2023 Input Output Global Inc (IOG).
+author:          IOG Engineering Team
+maintainer:      [email protected]
+category:        Concurrency
+build-type:      Simple
+extra-doc-files:
+  CHANGELOG.md
+  README.md
+
+bug-reports:     https://github.com/input-output-hk/cardano-base/issues
+tested-with:     GHC ==8.10 || ==9.2 || ==9.6
+
+source-repository head
+  type:     git
+  location: https://github.com/input-output-hk/cardano-base
+  subdir:   strict-checked-vars
+
+flag checkmvarinvariants
+  description: Enable runtime invariant checks on StrictMVars
+  manual:      True
+  default:     False
+
+flag checktvarinvariants
+  description: Enable runtime invariant checks on StrictTVars
+  manual:      True
+  default:     False
+
+library
+  hs-source-dirs:   src
+  exposed-modules:
+    Control.Concurrent.Class.MonadMVar.Strict.Checked
+    Control.Concurrent.Class.MonadMVar.Strict.Checked.Switch
+    Control.Concurrent.Class.MonadSTM.Strict.TVar.Checked
+    Control.Concurrent.Class.MonadSTM.Strict.TVar.Checked.Switch
+
+  default-language: Haskell2010
+  build-depends:
+    , base         >=4.9  && <4.19
+    , io-classes   >=1.2  && <1.4
+    , strict-mvar  >=1.2  && <1.4
+    , strict-stm   >=1.2  && <1.4
+
+  ghc-options:
+    -Wall -Wcompat -Wincomplete-uni-patterns
+    -Wincomplete-record-updates -Wpartial-fields -Widentities
+    -Wunused-packages
+
+  if flag(checkmvarinvariants)
+    cpp-options: -DCHECK_MVAR_INVARIANTS
+
+  if flag(checktvarinvariants)
+    cpp-options: -DCHECK_TVAR_INVARIANTS
+
+test-suite test
+  type:             exitcode-stdio-1.0
+  hs-source-dirs:   test
+  main-is:          Main.hs
+  other-modules:
+    Test.Control.Concurrent.Class.MonadMVar.Strict.Checked
+    Test.Utils
+
+  default-language: Haskell2010
+  build-depends:
+    , base                 >=4.9 && <4.19
+    , io-sim
+    , QuickCheck
+    , strict-checked-vars
+    , tasty
+    , tasty-quickcheck
+
+  ghc-options:
+    -Wall -Wcompat -Wincomplete-uni-patterns
+    -Wincomplete-record-updates -Wpartial-fields -Widentities
+    -Wunused-packages -fno-ignore-asserts
diff --git a/_sources/strict-checked-vars/0.1.0.2/meta.toml b/_sources/strict-checked-vars/0.1.0.2/meta.toml
@@ -1,3 +1,7 @@
 timestamp = 2023-08-04T07:26:22Z
 github = { repo = "input-output-hk/cardano-base", rev = "c3fb1294a6a19e9e01b58bd7967462f029005ddb" }
 subdir = 'strict-checked-vars'
+
+[[revisions]]
+number = 1
+timestamp = 2023-11-08T10:07:15Z
diff --git a/_sources/strict-checked-vars/0.1.0.2/revisions/1.cabal b/_sources/strict-checked-vars/0.1.0.2/revisions/1.cabal
@@ -0,0 +1,90 @@
+cabal-version:   3.0
+name:            strict-checked-vars
+version:         0.1.0.2
+synopsis:
+  Strict MVars and TVars with invariant checking for IO and IOSim
+
+description:
+  Strict @MVar@ and @TVar@ interfaces with invariant checking compatible with
+  [IO](https://hackage.haskell.org/package/base-4.18.0.0/docs/Prelude.html#t:IO)
+  & [io-sim](https://hackage.haskell.org/package/io-sim).
+
+license:         Apache-2.0
+license-files:
+  LICENSE
+  NOTICE
+
+copyright:       2019-2023 Input Output Global Inc (IOG).
+author:          IOG Engineering Team
+maintainer:      [email protected]
+category:        Concurrency
+build-type:      Simple
+extra-doc-files:
+  CHANGELOG.md
+  README.md
+
+bug-reports:     https://github.com/input-output-hk/cardano-base/issues
+tested-with:     GHC ==8.10 || ==9.2 || ==9.6
+
+source-repository head
+  type:     git
+  location: https://github.com/input-output-hk/cardano-base
+  subdir:   strict-checked-vars
+
+flag checkmvarinvariants
+  description: Enable runtime invariant checks on StrictMVars
+  manual:      True
+  default:     False
+
+flag checktvarinvariants
+  description: Enable runtime invariant checks on StrictTVars
+  manual:      True
+  default:     False
+
+library
+  hs-source-dirs:   src
+  exposed-modules:
+    Control.Concurrent.Class.MonadMVar.Strict.Checked
+    Control.Concurrent.Class.MonadMVar.Strict.Checked.Switch
+    Control.Concurrent.Class.MonadSTM.Strict.TVar.Checked
+    Control.Concurrent.Class.MonadSTM.Strict.TVar.Checked.Switch
+
+  default-language: Haskell2010
+  build-depends:
+    , base         >=4.9  && <4.19
+    , io-classes   >=1.2  && <1.4
+    , strict-mvar  >=1.2  && <1.4
+    , strict-stm   >=1.2  && <1.4
+
+  ghc-options:
+    -Wall -Wcompat -Wincomplete-uni-patterns
+    -Wincomplete-record-updates -Wpartial-fields -Widentities
+    -Wunused-packages
+
+  if flag(checkmvarinvariants)
+    cpp-options: -DCHECK_MVAR_INVARIANTS
+
+  if flag(checktvarinvariants)
+    cpp-options: -DCHECK_TVAR_INVARIANTS
+
+test-suite test
+  type:             exitcode-stdio-1.0
+  hs-source-dirs:   test
+  main-is:          Main.hs
+  other-modules:
+    Test.Control.Concurrent.Class.MonadMVar.Strict.Checked
+    Test.Utils
+
+  default-language: Haskell2010
+  build-depends:
+    , base                 >=4.9 && <4.19
+    , io-sim
+    , QuickCheck
+    , strict-checked-vars
+    , tasty
+    , tasty-quickcheck
+
+  ghc-options:
+    -Wall -Wcompat -Wincomplete-uni-patterns
+    -Wincomplete-record-updates -Wpartial-fields -Widentities
+    -Wunused-packages -fno-ignore-asserts
diff --git a/_sources/strict-checked-vars/0.1.0.3/meta.toml b/_sources/strict-checked-vars/0.1.0.3/meta.toml
@@ -1,3 +1,7 @@
 timestamp = 2023-08-04T14:05:48Z
 github = { repo = "input-output-hk/cardano-base", rev = "f54cdd877c6e03bab3950f6eaa74a80881b4dcc8" }
 subdir = 'strict-checked-vars'
+
+[[revisions]]
+number = 1
+timestamp = 2023-11-08T10:06:26Z
diff --git a/_sources/strict-checked-vars/0.1.0.3/revisions/1.cabal b/_sources/strict-checked-vars/0.1.0.3/revisions/1.cabal
@@ -0,0 +1,90 @@
+cabal-version:   3.0
+name:            strict-checked-vars
+version:         0.1.0.3
+synopsis:
+  Strict MVars and TVars with invariant checking for IO and IOSim
+
+description:
+  Strict @MVar@ and @TVar@ interfaces with invariant checking compatible with
+  [IO](https://hackage.haskell.org/package/base-4.18.0.0/docs/Prelude.html#t:IO)
+  & [io-sim](https://hackage.haskell.org/package/io-sim).
+
+license:         Apache-2.0
+license-files:
+  LICENSE
+  NOTICE
+
+copyright:       2019-2023 Input Output Global Inc (IOG).
+author:          IOG Engineering Team
+maintainer:      [email protected]
+category:        Concurrency
+build-type:      Simple
+extra-doc-files:
+  CHANGELOG.md
+  README.md
+
+bug-reports:     https://github.com/input-output-hk/cardano-base/issues
+tested-with:     GHC ==8.10 || ==9.2 || ==9.6
+
+source-repository head
+  type:     git
+  location: https://github.com/input-output-hk/cardano-base
+  subdir:   strict-checked-vars
+
+flag checkmvarinvariants
+  description: Enable runtime invariant checks on StrictMVars
+  manual:      True
+  default:     False
+
+flag checktvarinvariants
+  description: Enable runtime invariant checks on StrictTVars
+  manual:      True
+  default:     False
+
+library
+  hs-source-dirs:   src
+  exposed-modules:
+    Control.Concurrent.Class.MonadMVar.Strict.Checked
+    Control.Concurrent.Class.MonadMVar.Strict.Checked.Switch
+    Control.Concurrent.Class.MonadSTM.Strict.TVar.Checked
+    Control.Concurrent.Class.MonadSTM.Strict.TVar.Checked.Switch
+
+  default-language: Haskell2010
+  build-depends:
+    , base         >=4.9  && <4.19
+    , io-classes   >=1.2  && <1.4
+    , strict-mvar  >=1.2  && <1.4
+    , strict-stm   >=1.2  && <1.4
+
+  ghc-options:
+    -Wall -Wcompat -Wincomplete-uni-patterns
+    -Wincomplete-record-updates -Wpartial-fields -Widentities
+    -Wunused-packages
+
+  if flag(checkmvarinvariants)
+    cpp-options: -DCHECK_MVAR_INVARIANTS
+
+  if flag(checktvarinvariants)
+    cpp-options: -DCHECK_TVAR_INVARIANTS
+
+test-suite test
+  type:             exitcode-stdio-1.0
+  hs-source-dirs:   test
+  main-is:          Main.hs
+  other-modules:
+    Test.Control.Concurrent.Class.MonadMVar.Strict.Checked
+    Test.Utils
+
+  default-language: Haskell2010
+  build-depends:
+    , base                 >=4.9 && <4.19
+    , io-sim
+    , QuickCheck
+    , strict-checked-vars
+    , tasty
+    , tasty-quickcheck
+
+  ghc-options:
+    -Wall -Wcompat -Wincomplete-uni-patterns
+    -Wincomplete-record-updates -Wpartial-fields -Widentities
+    -Wunused-packages -fno-ignore-asserts