Skip to content

Use io-classes-1.6 #53

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Aug 27, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion cabal.project
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ repository cardano-haskell-packages
d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee

index-state:
hackage.haskell.org 2024-07-01T07:04:30Z
hackage.haskell.org 2024-08-27T07:58:31Z
, cardano-haskell-packages 2024-06-27T10:53:24Z

packages: ./typed-protocols
Expand Down
6 changes: 3 additions & 3 deletions typed-protocols-cborg/src/Network/TypedProtocol/Codec/CBOR.hs
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ module Network.TypedProtocol.Codec.CBOR
) where

import Control.Monad.Class.MonadST (MonadST (..))
import Control.Monad.ST
import Control.Monad.ST hiding (stToIO)

import qualified Codec.CBOR.Decoding as CBOR (Decoder)
import qualified Codec.CBOR.Encoding as CBOR (Encoding)
Expand Down Expand Up @@ -68,7 +68,7 @@ mkCodecCborStrictBS cborMsgEncode cborMsgDecode =
:: (forall s. CBOR.Decoder s a)
-> m (DecodeStep BS.ByteString DeserialiseFailure m a)
convertCborDecoder cborDecode =
withLiftST (convertCborDecoderBS cborDecode)
convertCborDecoderBS cborDecode stToIO

convertCborDecoderBS
:: forall s m a. Functor m
Expand Down Expand Up @@ -123,7 +123,7 @@ mkCodecCborLazyBS cborMsgEncode cborMsgDecode =
:: (forall s. CBOR.Decoder s a)
-> m (DecodeStep LBS.ByteString CBOR.DeserialiseFailure m a)
convertCborDecoder cborDecode =
withLiftST (convertCborDecoderLBS cborDecode)
convertCborDecoderLBS cborDecode stToIO

convertCborDecoderLBS
:: forall s m a. Monad m
Expand Down
8 changes: 3 additions & 5 deletions typed-protocols-examples/typed-protocols-examples.cabal
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: typed-protocols-examples
version: 0.2.0.2
version: 0.2.0.3
synopsis: Examples and tests for the typed-protocols framework
-- description:
license: Apache-2.0
Expand Down Expand Up @@ -48,8 +48,7 @@ library
cborg,
serialise,
contra-tracer,
io-classes,
si-timers,
io-classes:{io-classes,si-timers},
time,
typed-protocols,
typed-protocols-cborg
Expand Down Expand Up @@ -77,9 +76,8 @@ test-suite test
, typed-protocols
, typed-protocols-cborg
, typed-protocols-examples
, io-classes
, io-classes:{io-classes,si-timers}
, io-sim
, si-timers
, QuickCheck
, tasty
, tasty-quickcheck
Expand Down
4 changes: 4 additions & 0 deletions typed-protocols/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,9 @@
# Revision history for typed-protocols-cborg

## 0.1.1.1

* Use `io-classes-1.6`

## 0.1.0.7 -- 2023-10-20

* Improved performance of `prop_codecs_splitsM` and `prop_codecs_compatM`.
Expand Down
4 changes: 2 additions & 2 deletions typed-protocols/typed-protocols.cabal
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: typed-protocols
version: 0.1.1.0
version: 0.1.1.1
synopsis: A framework for strongly typed protocols
-- description:
license: Apache-2.0
Expand Down Expand Up @@ -32,7 +32,7 @@ library
, TypeOperators
, BangPatterns
build-depends: base,
io-classes >= 1.0 && < 1.4
io-classes ^>= 1.6

hs-source-dirs: src
default-language: Haskell2010
Expand Down
Loading