diff --git a/_sources/strict-checked-vars/0.1.0.3/meta.toml b/_sources/strict-checked-vars/0.1.0.3/meta.toml index b8a5dab7a..337147d2c 100644 --- a/_sources/strict-checked-vars/0.1.0.3/meta.toml +++ b/_sources/strict-checked-vars/0.1.0.3/meta.toml @@ -5,3 +5,7 @@ subdir = 'strict-checked-vars' [[revisions]] number = 1 timestamp = 2023-11-08T10:06:26Z + +[[revisions]] +number = 2 +timestamp = 2023-11-24T04:55:30Z diff --git a/_sources/strict-checked-vars/0.1.0.3/revisions/2.cabal b/_sources/strict-checked-vars/0.1.0.3/revisions/2.cabal new file mode 100644 index 000000000..8be9dfa13 --- /dev/null +++ b/_sources/strict-checked-vars/0.1.0.3/revisions/2.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: operations@iohk.io +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.20 + , 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.20 + , 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