Trait EncodeLike

Source

pub trait EncodeLike<T = Self>: Sized + Encodewhere
    T: Encode,
{ }

Expand description

A marker trait that tells the compiler that a type encode to the same representation as another type.

E.g. Vec<u8> has the same encoded representation as &[u8].

§Example

fn encode_like<T: Encode, R: EncodeLike<T>>(data: &R) {
    data.encode(); // Valid `T` encoded value.
}

fn main() {
    // Just pass the a reference to the normal tuple.
    encode_like::<(u32, u32), _>(&(1u32, 2u32));
    // Pass a tuple of references
    encode_like::<(u32, u32), _>(&(&1u32, &2u32));
    // Pass a tuple of a reference and a value.
    encode_like::<(u32, u32), _>(&(&1u32, 2u32));
}

§Warning

The relation is not symetric, T implements EncodeLike<U> does not mean U has same representation as T. For instance we could imaging a non zero integer to be encoded to the same representation as the said integer but not the other way around.

§Limitation

Not all possible implementations of EncodeLike are implemented (for instance Box<Box<u32>> does not implement EncodeLike<u32>). To bypass this issue either open a PR to add the new combination or use Ref reference wrapper or define your own wrapper and implement EncodeLike on it as such:

fn encode_like<T: Encode, R: EncodeLike<T>>(data: &R) {
    data.encode(); // Valid `T` encoded value.
}

struct MyWrapper<'a>(&'a (Box<Box<u32>>, u32));
impl<'a> core::ops::Deref for MyWrapper<'a> { // Or use derive_deref crate
    type Target = (Box<Box<u32>>, u32);
    fn deref(&self) -> &Self::Target { &self.0 }
}

impl<'a> parity_scale_codec::WrapperTypeEncode for MyWrapper<'a> {}
impl<'a> parity_scale_codec::EncodeLike<(u32, u32)> for MyWrapper<'a> {}

fn main() {
    let v = (Box::new(Box::new(0)), 0);
    encode_like::<(u32, u32), _>(&MyWrapper(&v));
}

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

EncodeLike

Trait EncodeLike Copy item path

§Example

§Warning

§Limitation

Dyn Compatibility§

Implementations on Foreign Types§

impl EncodeLike for TypeDefPrimitive

impl EncodeLike for bool

impl EncodeLike for f32

impl EncodeLike for f64

impl EncodeLike for i8

impl EncodeLike for i16

impl EncodeLike for i32

impl EncodeLike for i64

impl EncodeLike for i128

impl EncodeLike for u8

impl EncodeLike for u16

impl EncodeLike for u32

impl EncodeLike for u64

impl EncodeLike for u128

impl EncodeLike for ()

impl EncodeLike for NonZeroU256

impl EncodeLike for MessageHandle

impl EncodeLike for H128

impl EncodeLike for H160

impl EncodeLike for H256

impl EncodeLike for H384

impl EncodeLike for H512

impl EncodeLike for H768

impl EncodeLike for U128

impl EncodeLike for U256

impl EncodeLike for U512

impl EncodeLike for PortableRegistry

impl EncodeLike for PortableType

impl EncodeLike<String> for &str

impl<K, LikeK, V, LikeV> EncodeLike<BTreeMap<LikeK, LikeV>> for &[(K, V)]where K: EncodeLike<LikeK>, LikeK: Encode, V: EncodeLike<LikeV>, LikeV: Encode,

impl<N0, N1, O0, O1, P0, P1, Q0, Q1, R0, R1> EncodeLike<(N1, O1, P1, Q1, R1)> for (N0, O0, P0, Q0, R0)where N0: EncodeLike<N1>, N1: Encode, O0: EncodeLike<O1>, O1: Encode, P0: EncodeLike<P1>, P1: Encode, Q0: EncodeLike<Q1>, Q1: Encode, R0: EncodeLike<R1>, R1: Encode,

impl<O0, O1, P0, P1, Q0, Q1, R0, R1> EncodeLike<(O1, P1, Q1, R1)> for (O0, P0, Q0, R0)where O0: EncodeLike<O1>, O1: Encode, P0: EncodeLike<P1>, P1: Encode, Q0: EncodeLike<Q1>, Q1: Encode, R0: EncodeLike<R1>, R1: Encode,

impl<P0, P1, Q0, Q1, R0, R1> EncodeLike<(P1, Q1, R1)> for (P0, Q0, R0)where P0: EncodeLike<P1>, P1: Encode, Q0: EncodeLike<Q1>, Q1: Encode, R0: EncodeLike<R1>, R1: Encode,

impl<Q0, Q1, R0, R1> EncodeLike<(Q1, R1)> for (Q0, R0)where Q0: EncodeLike<Q1>, Q1: Encode, R0: EncodeLike<R1>, R1: Encode,

impl<R0, R1> EncodeLike<(R1,)> for (R0,)where R0: EncodeLike<R1>, R1: Encode,

impl<T> EncodeLike for TypeDef<T>where T: Form, TypeDefComposite<T>: Encode, TypeDefVariant<T>: Encode, TypeDefSequence<T>: Encode, TypeDefArray<T>: Encode, TypeDefTuple<T>: Encode, TypeDefCompact<T>: Encode, TypeDefBitSequence<T>: Encode,

impl<T> EncodeLike for &Twhere T: Encode + ?Sized,

impl<T> EncodeLike for &mut Twhere T: Encode + ?Sized,

impl<T> EncodeLike for Arc<T>where T: Encode + ?Sized,

impl<T> EncodeLike for UntrackedSymbol<T>where PhantomData<fn() -> T>: Encode,

impl<T> EncodeLike for TypeDefComposite<T>where T: Form, Vec<Field<T>>: Encode,

impl<T> EncodeLike for Field<T>where T: Form, Option<<T as Form>::String>: Encode, <T as Form>::Type: Encode, Vec<<T as Form>::String>: Encode,

impl<T> EncodeLike for Path<T>where T: Form, Vec<<T as Form>::String>: Encode,

impl<T> EncodeLike for Type<T>where T: Form, Path<T>: Encode, Vec<TypeParameter<T>>: Encode, TypeDef<T>: Encode, Vec<<T as Form>::String>: Encode,

impl<T> EncodeLike for TypeDefArray<T>where T: Form, <T as Form>::Type: Encode,

impl<T> EncodeLike for TypeDefBitSequence<T>where T: Form, <T as Form>::Type: Encode,

impl<T> EncodeLike for TypeDefCompact<T>where T: Form, <T as Form>::Type: Encode,

impl<T> EncodeLike for TypeDefSequence<T>where T: Form, <T as Form>::Type: Encode,

impl<T> EncodeLike for TypeDefTuple<T>where T: Form, Vec<<T as Form>::Type>: Encode,

impl<T> EncodeLike for TypeParameter<T>where T: Form, <T as Form>::String: Encode, Option<<T as Form>::Type>: Encode,

impl<T> EncodeLike for TypeDefVariant<T>where T: Form, Vec<Variant<T>>: Encode,

impl<T> EncodeLike for Variant<T>where T: Form, <T as Form>::String: Encode, Vec<Field<T>>: Encode, Vec<<T as Form>::String>: Encode,

impl<T> EncodeLike<T> for &&Twhere T: Encode,

impl<T> EncodeLike<T> for &Twhere T: Encode,

impl<T> EncodeLike<T> for &mut Twhere T: Encode,

impl<T> EncodeLike<T> for Arc<T>where T: Encode,

impl<T, LikeT> EncodeLike<BTreeSet<LikeT>> for &[(T,)]where T: EncodeLike<LikeT>, LikeT: Encode,

impl<T, LikeT> EncodeLike<BinaryHeap<LikeT>> for &[(T,)]where T: EncodeLike<LikeT>, LikeT: Encode,

impl<T, LikeT> EncodeLike<LinkedList<LikeT>> for &[(T,)]where T: EncodeLike<LikeT>, LikeT: Encode,

impl<T, U> EncodeLike<VecDeque<U>> for &[T]where T: EncodeLike<U>, U: Encode,

impl<T, U> EncodeLike<Vec<U>> for &[T]where T: EncodeLike<U>, U: Encode,

impl<T, U, const N: usize> EncodeLike<[U; N]> for [T; N]where T: EncodeLike<U>, U: Encode,

Implementors§

impl EncodeLike for ErrorReplyReason

impl EncodeLike for ReplyCode

impl EncodeLike for SignalCode

impl EncodeLike for SimpleExecutionError

impl EncodeLike for SimpleUnavailableActorError

impl EncodeLike for SuccessReplyReason

impl EncodeLike for ActorId

impl EncodeLike for CodeId

impl EncodeLike for MessageId

impl EncodeLike for Reservation

Trait EncodeLike

impl<K, LikeK, V, LikeV> EncodeLike<BTreeMap<LikeK, LikeV>> for &[(K, V)]
where K: EncodeLike<LikeK>, LikeK: Encode, V: EncodeLike<LikeV>, LikeV: Encode,

impl<N0, N1, O0, O1, P0, P1, Q0, Q1, R0, R1> EncodeLike<(N1, O1, P1, Q1, R1)> for (N0, O0, P0, Q0, R0)
where N0: EncodeLike<N1>, N1: Encode, O0: EncodeLike<O1>, O1: Encode, P0: EncodeLike<P1>, P1: Encode, Q0: EncodeLike<Q1>, Q1: Encode, R0: EncodeLike<R1>, R1: Encode,

impl<O0, O1, P0, P1, Q0, Q1, R0, R1> EncodeLike<(O1, P1, Q1, R1)> for (O0, P0, Q0, R0)
where O0: EncodeLike<O1>, O1: Encode, P0: EncodeLike<P1>, P1: Encode, Q0: EncodeLike<Q1>, Q1: Encode, R0: EncodeLike<R1>, R1: Encode,

impl<P0, P1, Q0, Q1, R0, R1> EncodeLike<(P1, Q1, R1)> for (P0, Q0, R0)
where P0: EncodeLike<P1>, P1: Encode, Q0: EncodeLike<Q1>, Q1: Encode, R0: EncodeLike<R1>, R1: Encode,

impl<Q0, Q1, R0, R1> EncodeLike<(Q1, R1)> for (Q0, R0)
where Q0: EncodeLike<Q1>, Q1: Encode, R0: EncodeLike<R1>, R1: Encode,

impl<R0, R1> EncodeLike<(R1,)> for (R0,)
where R0: EncodeLike<R1>, R1: Encode,

impl<T> EncodeLike for TypeDef<T>
where T: Form, TypeDefComposite<T>: Encode, TypeDefVariant<T>: Encode, TypeDefSequence<T>: Encode, TypeDefArray<T>: Encode, TypeDefTuple<T>: Encode, TypeDefCompact<T>: Encode, TypeDefBitSequence<T>: Encode,

impl<T> EncodeLike for &T
where T: Encode + ?Sized,

impl<T> EncodeLike for &mut T
where T: Encode + ?Sized,

impl<T> EncodeLike for Arc<T>
where T: Encode + ?Sized,

impl<T> EncodeLike for UntrackedSymbol<T>
where PhantomData<fn() -> T>: Encode,

impl<T> EncodeLike for TypeDefComposite<T>
where T: Form, Vec<Field<T>>: Encode,

impl<T> EncodeLike for Field<T>
where T: Form, Option<<T as Form>::String>: Encode, <T as Form>::Type: Encode, Vec<<T as Form>::String>: Encode,

impl<T> EncodeLike for Path<T>
where T: Form, Vec<<T as Form>::String>: Encode,

impl<T> EncodeLike for Type<T>
where T: Form, Path<T>: Encode, Vec<TypeParameter<T>>: Encode, TypeDef<T>: Encode, Vec<<T as Form>::String>: Encode,

impl<T> EncodeLike for TypeDefArray<T>
where T: Form, <T as Form>::Type: Encode,

impl<T> EncodeLike for TypeDefBitSequence<T>
where T: Form, <T as Form>::Type: Encode,

impl<T> EncodeLike for TypeDefCompact<T>
where T: Form, <T as Form>::Type: Encode,

impl<T> EncodeLike for TypeDefSequence<T>
where T: Form, <T as Form>::Type: Encode,

impl<T> EncodeLike for TypeDefTuple<T>
where T: Form, Vec<<T as Form>::Type>: Encode,

impl<T> EncodeLike for TypeParameter<T>
where T: Form, <T as Form>::String: Encode, Option<<T as Form>::Type>: Encode,

impl<T> EncodeLike for TypeDefVariant<T>
where T: Form, Vec<Variant<T>>: Encode,

impl<T> EncodeLike for Variant<T>
where T: Form, <T as Form>::String: Encode, Vec<Field<T>>: Encode, Vec<<T as Form>::String>: Encode,

impl<T> EncodeLike<T> for &&T
where T: Encode,

impl<T> EncodeLike<T> for &T
where T: Encode,

impl<T> EncodeLike<T> for &mut T
where T: Encode,

impl<T> EncodeLike<T> for Arc<T>
where T: Encode,

impl<T, LikeT> EncodeLike<BTreeSet<LikeT>> for &[(T,)]
where T: EncodeLike<LikeT>, LikeT: Encode,

impl<T, LikeT> EncodeLike<BinaryHeap<LikeT>> for &[(T,)]
where T: EncodeLike<LikeT>, LikeT: Encode,

impl<T, LikeT> EncodeLike<LinkedList<LikeT>> for &[(T,)]
where T: EncodeLike<LikeT>, LikeT: Encode,

impl<T, U> EncodeLike<VecDeque<U>> for &[T]
where T: EncodeLike<U>, U: Encode,

impl<T, U> EncodeLike<Vec<U>> for &[T]
where T: EncodeLike<U>, U: Encode,

impl<T, U, const N: usize> EncodeLike<[U; N]> for [T; N]
where T: EncodeLike<U>, U: Encode,

impl<K, LikeK, V, LikeV> EncodeLike<&[(LikeK, LikeV)]> for BTreeMap<K, V>
where K: EncodeLike<LikeK>, LikeK: Encode, V: EncodeLike<LikeV>, LikeV: Encode,

impl<K, LikeK, V, LikeV> EncodeLike<BTreeMap<LikeK, LikeV>> for BTreeMap<K, V>
where K: EncodeLike<LikeK>, LikeK: Encode, V: EncodeLike<LikeV>, LikeV: Encode,

impl<T> EncodeLike for Cow<'_, T>
where T: ToOwned + Encode + ?Sized,

impl<T> EncodeLike for VecDeque<T>
where T: Encode,

impl<T> EncodeLike for Compact<T>
where CompactRef<'a, T>: for<'a> Encode,

impl<T> EncodeLike for CompactRef<'_, T>
where T: CompactAs, CompactRef<'b, <T as CompactAs>::As>: for<'b> Encode,

impl<T> EncodeLike for Rc<T>
where T: Encode + ?Sized,

impl<T> EncodeLike for Box<T>
where T: Encode + ?Sized,

impl<T> EncodeLike<&&T> for T
where T: Encode,

impl<T> EncodeLike<Cow<'_, T>> for T
where T: ToOwned + Encode,

impl<T> EncodeLike<&T> for T
where T: Encode,

impl<T> EncodeLike<&mut T> for T
where T: Encode,

impl<T> EncodeLike<Arc<T>> for T
where T: Encode,

impl<T> EncodeLike<Rc<T>> for T
where T: Encode,

impl<T> EncodeLike<Box<T>> for T
where T: Encode,

impl<T> EncodeLike<T> for Cow<'_, T>
where T: ToOwned + Encode,

impl<T> EncodeLike<T> for Rc<T>
where T: Encode,

impl<T> EncodeLike<T> for Box<T>
where T: Encode,

impl<T, LikeT> EncodeLike<&[(LikeT,)]> for BTreeSet<T>
where T: EncodeLike<LikeT>, LikeT: Encode,

impl<T, LikeT> EncodeLike<&[(LikeT,)]> for BinaryHeap<T>
where T: EncodeLike<LikeT>, LikeT: Encode,

impl<T, LikeT> EncodeLike<&[(LikeT,)]> for LinkedList<T>
where T: EncodeLike<LikeT>, LikeT: Encode,

impl<T, LikeT> EncodeLike<BTreeSet<LikeT>> for BTreeSet<T>
where T: EncodeLike<LikeT>, LikeT: Encode,

impl<T, LikeT> EncodeLike<BinaryHeap<LikeT>> for BinaryHeap<T>
where T: EncodeLike<LikeT>, LikeT: Encode,

impl<T, LikeT> EncodeLike<LinkedList<LikeT>> for LinkedList<T>
where T: EncodeLike<LikeT>, LikeT: Encode,

impl<T, LikeT, E, LikeE> EncodeLike<Result<LikeT, LikeE>> for Result<T, E>
where T: EncodeLike<LikeT>, LikeT: Encode, E: EncodeLike<LikeE>, LikeE: Encode,

impl<T, U> EncodeLike<&[U]> for VecDeque<T>
where T: EncodeLike<U>, U: Encode,

impl<T, U> EncodeLike<&[U]> for Vec<T>
where T: EncodeLike<U>, U: Encode,

impl<T, U> EncodeLike<Option<U>> for Option<T>
where T: EncodeLike<U>, U: Encode,

impl<T, U> EncodeLike<VecDeque<U>> for Vec<T>
where T: EncodeLike<U>, U: Encode,

impl<T, U> EncodeLike<Vec<U>> for VecDeque<T>
where T: EncodeLike<U>, U: Encode,

impl<T, U> EncodeLike<Vec<U>> for Vec<T>
where T: EncodeLike<U>, U: Encode,

impl<T, U> EncodeLike<U> for &Ref<'_, T, U>
where T: EncodeLike<U>, U: Encode,

impl<T, U> EncodeLike<U> for Ref<'_, T, U>
where T: EncodeLike<U>, U: Encode,