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
34
35
|
//
// 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/.
//
//! AND implementation.
//!
//! Will be automatically included when including `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 FailableAnd<T, U>(T, U);
impl<T, U> FailableAnd<T, U> {
pub fn new(a: T, b: U) -> FailableAnd<T, U> {
FailableAnd(a, b)
}
}
impl<N, E, T, U> FailableFilter<N, E> for FailableAnd<T, U>
where T: FailableFilter<N, E>,
U: FailableFilter<N, E>
{
fn filter(&self, e: &N) -> Result<bool, E> {
Ok(try!(self.0.filter(e)) && try!(self.1.filter(e)))
}
}
|
