Skip to main content

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}