cedar_policy_core/parser/
util.rs

1/*
2 * Copyright Cedar Contributors
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 *      https://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17//! Utility functions used by multiple parts of the parser.
18
19use super::err::ParseErrors;
20
21type Result<T> = std::result::Result<T, ParseErrors>;
22
23/// Combine two `Result`s into a single `Result`
24pub fn flatten_tuple_2<T1, T2>(res1: Result<T1>, res2: Result<T2>) -> Result<(T1, T2)> {
25    match (res1, res2) {
26        (Ok(v1), Ok(v2)) => Ok((v1, v2)),
27        (Err(errs1), Ok(_)) => Err(errs1),
28        (Ok(_), Err(errs2)) => Err(errs2),
29        (Err(mut errs1), Err(errs2)) => {
30            errs1.extend(errs2);
31            Err(errs1)
32        }
33    }
34}
35
36/// Combine three `Result`s into a single `Result`
37pub fn flatten_tuple_3<T1, T2, T3>(
38    res1: Result<T1>,
39    res2: Result<T2>,
40    res3: Result<T3>,
41) -> Result<(T1, T2, T3)> {
42    let ((v1, v2), v3) = flatten_tuple_2(flatten_tuple_2(res1, res2), res3)?;
43    Ok((v1, v2, v3))
44}
45
46/// Combine four `Result`s into a single `Result`
47pub fn flatten_tuple_4<T1, T2, T3, T4>(
48    res1: Result<T1>,
49    res2: Result<T2>,
50    res3: Result<T3>,
51    res4: Result<T4>,
52) -> Result<(T1, T2, T3, T4)> {
53    let (((v1, v2), v3), v4) =
54        flatten_tuple_2(flatten_tuple_2(flatten_tuple_2(res1, res2), res3), res4)?;
55    Ok((v1, v2, v3, v4))
56}
cedar_policy_core/parser/util.rs

cedar_policy_core/parser/
util.rs
