Updated meta data & documentation

Author: coot

io-classes-mtl/io-classes-mtl.cabal

@@ -2,6 +2,10 @@ cabal-version:      3.0
 name:               io-classes-mtl
 version:            0.1.0.0
 synopsis:           Experimental MTL instances for io-classes
+description:
+    MTL instances for
+    [io-classes](https://hackage.hasekll.org/package/io-classes) package.
+    Some of the instances are novel and some are still experimental.
 license:            Apache-2.0
 license-files:
   LICENSE

io-classes/io-classes.cabal

@@ -2,6 +2,10 @@ cabal-version:       3.0
 name:                io-classes
 version:             1.0.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', 'async',
+  'stm', 'exceptions' & 'time' packages.
 license:             Apache-2.0
 license-files:
   LICENSE

io-sim/io-sim.cabal

@@ -1,7 +1,11 @@
 cabal-version:       3.0
 name:                io-sim
 version:             1.0.0.0
-synopsis:            A pure simulator for monadic concurrency with STM
+synopsis:            A pure simulator for monadic concurrency with STM.
+description:
+  A pure simulator monad with support of concurency (base, async), stm,
+  synchronous and asynchronous exceptions, timeouts & delays, dynamic traces,
+  and more.
 license:             Apache-2.0
 license-files:
   LICENSE

si-timers/README.md

@@ -13,6 +13,9 @@ very efficient but for other platforms (e.g.  `Windows`), it might not be the
 right API for low latency timeouts needed for example for low level networking
 code, because it relies on `GHC`'s `RTS` thread scheduling.
 
+`si-timers` are compatible with `io-sim`.
+
 The `SI` comes from the [International System of Units][SI].
 
 [SI]: https://www.wikiwand.com/en/International_System_of_Units
+[`io-sim`]: https://hackage.haskell.org/package/io-sim

si-timers/si-timers.cabal

@@ -1,8 +1,10 @@
 cabal-version:       3.0
 name:                si-timers
 version:             1.0.0.0
-synopsis:            Timers using SI units (seconds) which are safe on 32-bit
-                     platforms.
+synopsis:            timers using SI units (seconds)
+description:
+  Timers using SI units (seconds) which are safe on 32-bit platforms and
+  compatible with [io-sim](https://hackage.haskell.org/package/io-sim).
 license:             Apache-2.0
 license-files:
   LICENSE

strict-mvar/strict-mvar.cabal

@@ -1,8 +1,11 @@
 cabal-version:       3.0
 name:                strict-mvar
 version:             1.0.0.0
-synopsis:            Strict MVars for implementations of the `io-classes` MVar interface
-description:         Strict MVars for implementations of the `io-classes` MVar interface.
+synopsis:            Strict MVars for IO and IOSim
+description:
+  Strict @MVar@ interface 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
@@ -12,6 +15,8 @@ author:              IOHK Engineering Team
 maintainer:          [email protected]
 category:            Control
 build-type:          Simple
+extra-source-files:  CHANGELOG.md
+                     README.md
 tested-with:         GHC == { 8.10.7, 9.2.5, 9.4.4 }
 
 source-repository head

strict-stm/strict-stm.cabal

@@ -2,6 +2,11 @@ cabal-version:       3.0
 name:                strict-stm
 version:             1.0.0.0
 synopsis:            Strict STM interface polymorphic over stm implementation.
+description:
+  Strict STM interface provided on top of
+  [io-classes](https://hackage.haskell.org/package/io-classes) and thus
+  compatible with [stm](https://hackage.haskell.org/package/stm)
+  & [io-sim](https://hackage.haskell.org/package/io-sim).
 license:             Apache-2.0
 license-files:
   LICENSE
@@ -67,4 +72,4 @@ library
     ghc-options: -fno-ignore-asserts
 
   if flag(checktvarinvariant)
-    cpp-options: -DCHECK_TVAR_INVARIANT
+    cpp-options: -DCHECK_TVAR_INVARIAN