typed-protocols-0.1.1.1 revision

Allow `io-classes-1.7`

Author: coot

_sources/typed-protocols/0.1.1.1/meta.toml

@@ -1,3 +1,7 @@
 timestamp = 2024-08-28T06:44:16Z
 github = { repo = "input-output-hk/typed-protocols", rev = "67a9d95bb57f03d707647ae2c722054d1ea11f5f" }
 subdir = 'typed-protocols'
+
+[[revisions]]
+number = 1
+timestamp = 2024-08-28T17:27:21Z

_sources/typed-protocols/0.1.1.1/revisions/1.cabal

@@ -0,0 +1,46 @@
+cabal-version:       3.0
+name:                typed-protocols
+version:             0.1.1.1
+synopsis:            A framework for strongly typed protocols
+-- description:
+license:             Apache-2.0
+license-files:
+  LICENSE
+  NOTICE
+copyright:           2019-2023 Input Output Global Inc (IOG)
+author:              Alexander Vieth, Duncan Coutts, Marcin Szamotulski
+maintainer:          [email protected], [email protected], [email protected]
+category:            Control
+build-type:          Simple
+tested-with:         GHC == {8.10, 9.2, 9.4, 9.6}
+extra-source-files:  CHANGELOG.md
+
+library
+  exposed-modules:   Network.TypedProtocol
+                   , Network.TypedProtocol.Core
+                   , Network.TypedProtocol.Codec
+                   , Network.TypedProtocol.Pipelined
+                   , Network.TypedProtocol.Driver
+                   , Network.TypedProtocol.Proofs
+
+  other-extensions:  GADTs
+                   , RankNTypes
+                   , PolyKinds
+                   , DataKinds
+                   , ScopedTypeVariables
+                   , TypeFamilies
+                   , TypeOperators
+                   , BangPatterns
+  build-depends:     base,
+                     io-classes ^>= 1.6 || ^>= 1.7
+
+  hs-source-dirs:    src
+  default-language:  Haskell2010
+  ghc-options:       -Wall
+                     -Wno-unticked-promoted-constructors
+                     -Wcompat
+                     -Wincomplete-uni-patterns
+                     -Wincomplete-record-updates
+                     -Wpartial-fields
+                     -Widentities
+                     -Wredundant-constraints