blob: 3712024a834c0f94278c01c3bffa977e7f251c31 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
//
// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at http://mozilla.org/MPL/2.0/.
//
//! NOT implementation.
//!
//! Will be automatically included when incluing `filter::Filter`, so importing this module
//! shouldn't be necessary.
//!
use failable::filter::FailableFilter;
#[must_use = "filters are lazy and do nothing unless consumed"]
#[derive(Clone)]
pub struct FailableNot<T>(T);
impl<T> FailableNot<T> {
pub fn new(a: T) -> FailableNot<T> {
FailableNot(a)
}
}
impl<N, E, T> FailableFilter<N, E> for FailableNot<T>
where T: FailableFilter<N, E>
{
fn filter(&self, e: &N) -> Result<bool, E> {
self.0.filter(e).map(|b| !b)
}
}
|
