malachite_nz/integer_vector/conversion/from_unsigned_vector.rs
1// Copyright © 2026 Mikhail Hogrefe
2//
3// This file is part of Malachite.
4//
5// Malachite is free software: you can redistribute it and/or modify it under the terms of the GNU
6// Lesser General Public License (LGPL) as published by the Free Software Foundation; either version
7// 3 of the License, or (at your option) any later version. See <https://www.gnu.org/licenses/>.
8use crate::integer::Integer;
9use crate::integer_vector::IntegerVector;
10use malachite_base::num::basic::unsigneds::PrimitiveUnsigned;
11use malachite_base::unsigned_vector::UnsignedVector;
12
13impl<T: PrimitiveUnsigned> From<UnsignedVector<T>> for IntegerVector
14where
15 Integer: From<T>,
16{
17 /// Converts an [`UnsignedVector`] to an [`IntegerVector`].
18 ///
19 /// Every unsigned primitive is an [`Integer`], so nothing is lost and nothing can fail. The
20 /// elements are converted one by one, so the dimension is unchanged.
21 ///
22 /// # Worst-case complexity
23 /// $T(n) = O(n)$
24 ///
25 /// $M(n) = O(n)$
26 ///
27 /// where $T$ is time, $M$ is additional memory, and $n$ is `v.dimension()`.
28 ///
29 /// # Examples
30 /// ```
31 /// use core::str::FromStr;
32 /// use malachite_base::unsigned_vector::UnsignedVector;
33 /// use malachite_nz::integer_vector::IntegerVector;
34 ///
35 /// let v = UnsignedVector::<u64>::from_str("(1, 2, 3)").unwrap();
36 /// assert_eq!(IntegerVector::from(v).to_string(), "(1, 2, 3)");
37 ///
38 /// assert_eq!(
39 /// IntegerVector::from(UnsignedVector::<u8>::from_str("()").unwrap()).to_string(),
40 /// "()"
41 /// );
42 /// ```
43 #[inline]
44 fn from(v: UnsignedVector<T>) -> Self {
45 Self {
46 elements: v.elements.into_iter().map(Integer::from).collect(),
47 }
48 }
49}