Changelog for typed-protocols-1.1.0.0

Revision history for typed-protocols

Annotated codecs which allow to retain original bytes received from the network. The Codec type evolved into a new CodecF data type, and two type aliases AnnotatedCodec, Codec.
prop_codec properties moved to typed-protocols:codec-properties library (Network.TypedProtocol.Codec.Properties module). They now return the QuickCheck's Property rather than a Bool.

AnyMessageWithAgency pattern synonym is exported as a constructor of AnyMessage.
Bumped version to agree with typed-protocols-stateful.

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.

unbuildable (with base < 0 constraint in CHaP); We cannot support io-classes-1.{6,7} until Haskell.Nix support for public sublibraries is merged.