From b9e12c5af435f6b203e43bd24246d3caf59c9fb3 Mon Sep 17 00:00:00 2001 From: James Wilson Date: Fri, 16 Feb 2024 14:18:58 +0000 Subject: [PATCH] Prep for v0.6.0 release (#20) * Prep for v0.6.0 release * small wording tweak --- CHANGELOG.md | 59 ++++++++++++++++++++++++++++++++++++++++++++++++++++ Cargo.toml | 6 +++--- 2 files changed, 62 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index c30eba0..399a0ee 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,6 +4,65 @@ The format is based on [Keep a Changelog]. [Keep a Changelog]: http://keepachangelog.com/en/1.0.0/ +## [v0.6.0] - 2024-02-16 + +Up until now, `scale-info` has been the library that gives us the information needed to know how to SCALE encode values to the correct shape. In this release, we remove it from our dependency tree and replace it with `scale-type-resolver`, which provides a generic `TypeResolver` trait whose implementations are able to provide the information needed to encode/decode types. So now, rather than taking in a `scale_info::PortableRegistry`, the `EncodeAsType` and `EncodeAsFields` traits take a generic `R: scale_type_resolver::TypeResolver` value. `scale_info::PortableRegistry` implements `TypeResolver`, and so it can continue to be used similarly to before (though now, `type_id` is passed as a reference), but now we are generic over where the type information we need comes from. + +To be more concrete, `EncodeAsType` used to look roughly like this: + +```rust +pub trait EncodeAsType { + fn encode_as_type_to( + &self, + type_id: u32, + types: scale_info::PortableRegistry, + out: &mut Vec, + ) -> Result<(), Error>; +} +``` + +And now it looks like this: + +```rust +pub trait EncodeAsType { + fn encode_as_type_to( + &self, + type_id: &R::TypeId, + types: &R, + out: &mut Vec, + ) -> Result<(), Error>; +} +``` + +One effect that this has is that `EncodeAsType` and `EncodeAsFields` are no longer object safe (since the method they expose accepts a generic type now). Internally this led us to also change how `scale_encode::Composite` works slightly (see the docs for that for more information). if you need object safety, and know the type resolver that you want to use, then you can make a trait + blanket impl like this which _is_ object safe and is implemented for anything which implements `EncodeAsType`: + +```rust +trait EncodeAsTypeWithResolver { + fn encode_as_type_with_resolver_to( + &self, + type_id: &R::TypeId, + types: &R, + out: &mut Vec, + ) -> Result<(), Error>; +} +impl EncodeAsTypeWithResolver for T { + fn encode_as_type_with_resolver_to( + &self, + type_id: &R::TypeId, + types: &R, + out: &mut Vec, + ) -> Result<(), Error> { + self.encode_as_type_to(type_id, types, out) + } +} +``` + +We can now have `&dyn EncodeAsTypeWithResolver` instances. + +The full PR is here: + +- Enable generic type encoding via TypeResolver and remove dependency on scale-info ([#19](https://github.com/paritytech/scale-encode/pull/19)). + ## [v0.5.0] - 2023-08-02 - Improve custom error handling: custom errors now require `Debug + Display` on `no_std` or `Error` on `std`. diff --git a/Cargo.toml b/Cargo.toml index 3c46791..9c81a13 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -7,7 +7,7 @@ members = [ resolver = "2" [workspace.package] -version = "0.5.0" +version = "0.6.0" authors = ["Parity Technologies "] edition = "2021" license = "Apache-2.0" @@ -17,5 +17,5 @@ keywords = ["parity", "scale", "encoding"] include = ["Cargo.toml", "src/**/*.rs", "README.md", "LICENSE"] [workspace.dependencies] -scale-encode = { version = "0.5.0", path = "scale-encode" } -scale-encode-derive = { version = "0.5.0", path = "scale-encode-derive" } +scale-encode = { version = "0.6.0", path = "scale-encode" } +scale-encode-derive = { version = "0.6.0", path = "scale-encode-derive" }