summaryrefslogtreecommitdiffstats
path: root/vendor/generic-array-0.12.4/src/functional.rs
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--vendor/generic-array-0.12.4/src/functional.rs94
1 files changed, 0 insertions, 94 deletions
diff --git a/vendor/generic-array-0.12.4/src/functional.rs b/vendor/generic-array-0.12.4/src/functional.rs
deleted file mode 100644
index 50f4a71b8..000000000
--- a/vendor/generic-array-0.12.4/src/functional.rs
+++ /dev/null
@@ -1,94 +0,0 @@
-//! Functional programming with generic sequences
-//!
-//! Please see `tests/generics.rs` for examples of how to best use these in your generic functions.
-
-use super::ArrayLength;
-use core::iter::FromIterator;
-use sequence::*;
-
-/// Defines the relationship between one generic sequence and another,
-/// for operations such as `map` and `zip`.
-pub unsafe trait MappedGenericSequence<T, U>: GenericSequence<T>
-where
- Self::Length: ArrayLength<U>,
-{
- /// Mapped sequence type
- type Mapped: GenericSequence<U, Length = Self::Length>;
-}
-
-unsafe impl<'a, T, U, S: MappedGenericSequence<T, U>> MappedGenericSequence<T, U> for &'a S
-where
- &'a S: GenericSequence<T>,
- S: GenericSequence<T, Length = <&'a S as GenericSequence<T>>::Length>,
- <S as GenericSequence<T>>::Length: ArrayLength<U>,
-{
- type Mapped = <S as MappedGenericSequence<T, U>>::Mapped;
-}
-
-unsafe impl<'a, T, U, S: MappedGenericSequence<T, U>> MappedGenericSequence<T, U> for &'a mut S
-where
- &'a mut S: GenericSequence<T>,
- S: GenericSequence<T, Length = <&'a mut S as GenericSequence<T>>::Length>,
- <S as GenericSequence<T>>::Length: ArrayLength<U>,
-{
- type Mapped = <S as MappedGenericSequence<T, U>>::Mapped;
-}
-
-/// Accessor type for a mapped generic sequence
-pub type MappedSequence<S, T, U> =
- <<S as MappedGenericSequence<T, U>>::Mapped as GenericSequence<U>>::Sequence;
-
-/// Defines functional programming methods for generic sequences
-pub unsafe trait FunctionalSequence<T>: GenericSequence<T> {
- /// Maps a `GenericSequence` to another `GenericSequence`.
- ///
- /// If the mapping function panics, any already initialized elements in the new sequence
- /// will be dropped, AND any unused elements in the source sequence will also be dropped.
- fn map<U, F>(self, f: F) -> MappedSequence<Self, T, U>
- where
- Self: MappedGenericSequence<T, U>,
- Self::Length: ArrayLength<U>,
- F: FnMut(Self::Item) -> U,
- {
- FromIterator::from_iter(self.into_iter().map(f))
- }
-
- /// Combines two `GenericSequence` instances and iterates through both of them,
- /// initializing a new `GenericSequence` with the result of the zipped mapping function.
- ///
- /// If the mapping function panics, any already initialized elements in the new sequence
- /// will be dropped, AND any unused elements in the source sequences will also be dropped.
- #[inline]
- fn zip<B, Rhs, U, F>(self, rhs: Rhs, f: F) -> MappedSequence<Self, T, U>
- where
- Self: MappedGenericSequence<T, U>,
- Rhs: MappedGenericSequence<B, U, Mapped = MappedSequence<Self, T, U>>,
- Self::Length: ArrayLength<B> + ArrayLength<U>,
- Rhs: GenericSequence<B, Length = Self::Length>,
- F: FnMut(Self::Item, Rhs::Item) -> U,
- {
- rhs.inverted_zip2(self, f)
- }
-
- /// Folds (or reduces) a sequence of data into a single value.
- ///
- /// If the fold function panics, any unused elements will be dropped.
- fn fold<U, F>(self, init: U, f: F) -> U
- where
- F: FnMut(U, Self::Item) -> U,
- {
- self.into_iter().fold(init, f)
- }
-}
-
-unsafe impl<'a, T, S: GenericSequence<T>> FunctionalSequence<T> for &'a S
-where
- &'a S: GenericSequence<T>,
-{
-}
-
-unsafe impl<'a, T, S: GenericSequence<T>> FunctionalSequence<T> for &'a mut S
-where
- &'a mut S: GenericSequence<T>,
-{
-}