# Revision history for typed-protocols
## 0.3.0.0
* `AnyMessageWithAgency` pattern synonym is exported as a constructor of `AnyMessage`.
* Bumped version to agree with `typed-protocols-stateful`.
## 0.2.0.0
* A major redesign of `typed-protocols`.
* `Protocol` class does not require to provide proof obligations for agency.
Proofs are now provided by the framework for all protocols. Agency is now
provided by an associated type family `StateAgency`, and evidence for it,
in form of a singleton, by `StateToken` type family
(similar to `Sing` from the `singletons` package).
* `Peer` takes a different evidence type for agency,
`Network.TypedProtocol.Peer.{Client,Server}` modules provide pattern synonyms
which provide agency evidence and thus are easier to use.
* One `Peer` is provided for both non- and pipelined protocol evolution.
An extra parameter is added of kind `IsPipelined`. As a result
`Outstanding` is now a type family rather than a type alias.
* `ActiveAgency` type class is used to distinguish states in which one side
has an agency (e.g. the protocol hasn't yet terminated), `nonActiveState` can
be used in the same way as `Data.Void.absurd` - which is useful when writing
codecs.
## 0.1.1.1
* unbuildable (with `base < 0` constraint in CHaP); We cannot support
`io-classes-1.{6,7}` until `Haskell.Nix` support for public sublibraries is
merged.
## 0.1.0.7 -- 2023-10-20
* Improved performance of `prop_codecs_splitsM` and `prop_codecs_compatM`.
## 0.1.0.5 -- 2023-03-08
* Support `ghc-9.6.1`.
* Use `io-classes-1.1.0.0`.
[singletons-3.0.1]: https://hackage.haskell.org/package/singletons