typed-protocols: relaxed io-sim bounds

IntersectMBO · Nov 8, 2023 · 3b53891 · 3b53891
1 parent 8444a21
commit 3b53891
Show file tree

Hide file tree

Showing 2 changed files with 50 additions and 0 deletions.
diff --git a/_sources/typed-protocols/0.1.1.0/meta.toml b/_sources/typed-protocols/0.1.1.0/meta.toml
@@ -1,3 +1,7 @@
 timestamp = 2023-10-23T08:59:58Z
 github = { repo = "input-output-hk/typed-protocols", rev = "e0f008311ce58ea58d61157fa7f93312b6839bd7" }
 subdir = 'typed-protocols'
+
+[[revisions]]
+number = 1
+timestamp = 2023-11-08T10:09:22Z
diff --git a/_sources/typed-protocols/0.1.1.0/revisions/1.cabal b/_sources/typed-protocols/0.1.1.0/revisions/1.cabal
@@ -0,0 +1,46 @@
+cabal-version:       3.0
+name:                typed-protocols
+version:             0.1.1.0
+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.0 && < 1.4
+
+  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