Use io-sim-1.0.0.0

* typed-protocols-0.1.0.4
* typed-protocols-examples-0.2.0.0

Author: coot

cabal.project

@@ -11,7 +11,7 @@ repository cardano-haskell-packages
     d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee
 
 index-state:
-  , hackage.haskell.org 2023-03-31T12:01:49Z
+  , hackage.haskell.org 2023-04-18T18:49:22Z
   , cardano-haskell-packages 2023-03-30T14:04:13Z
 
 packages: ./typed-protocols

typed-protocols-examples/src/Network/TypedProtocol/Channel.hs

@@ -21,7 +21,7 @@ module Network.TypedProtocol.Channel
 import           Control.Concurrent.Class.MonadSTM
 import           Control.Monad ((>=>))
 import           Control.Monad.Class.MonadSay
-import           Control.Monad.Class.MonadTimer
+import           Control.Monad.Class.MonadTimer.SI
 import qualified Data.ByteString as BS
 import qualified Data.ByteString.Lazy as LBS
 import           Data.ByteString.Lazy.Internal (smallChunkSize)
@@ -243,7 +243,7 @@ channelEffect beforeSend afterRecv Channel{send, recv} =
 -- This is intended for testing, as a crude approximation of network delays.
 -- More accurate models along these lines are of course possible.
 --
-delayChannel :: MonadTimer m
+delayChannel :: MonadDelay m
              => DiffTime
              -> Channel m a
              -> Channel m a

typed-protocols-examples/typed-protocols-examples.cabal

@@ -1,5 +1,5 @@
 name:                typed-protocols-examples
-version:             0.1.0.1
+version:             0.2.0.0
 synopsis:            Examples and tests for the typed-protocols framework
 -- description:
 license:             Apache-2.0
@@ -50,6 +50,7 @@ library
                      serialise,
                      contra-tracer,
                      io-classes,
+                     si-timers,
                      time,
                      typed-protocols,
                      typed-protocols-cborg
@@ -79,6 +80,7 @@ test-suite test
                    , typed-protocols-examples
                    , io-classes
                    , io-sim
+                   , si-timers
                    , QuickCheck
                    , tasty
                    , tasty-quickcheck

typed-protocols/typed-protocols.cabal

@@ -1,6 +1,6 @@
 cabal-version:       3.0
 name:                typed-protocols
-version:             0.1.0.3
+version:             0.1.0.4
 synopsis:            A framework for strongly typed protocols
 -- description:
 license:             Apache-2.0
@@ -34,7 +34,7 @@ library
                    , TypeOperators
                    , BangPatterns
   build-depends:     base,
-                     io-classes >= 0.3 && < 0.6
+                     io-classes ^>= 1.0
 
   hs-source-dirs:    src
   default-language:  Haskell2010