collect_failable 0.18.0

A trait for collecting values into a container which has an invariant to uphold and whose construction may fail
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

use alloc::collections::BTreeSet;
use fluent_result::bool::dbg::Expect;

crate::impls::macros::impl_try_from_iter_via_try_extend_one!(
    type: BTreeSet<T> where [T: Ord] of T;
    ctor: |_| Self::new()
);

crate::impls::macros::impl_try_extend_via_try_extend_one!(
    type: BTreeSet<T> where [T: Ord] of T;
    reserve: |_, _| ()
);

crate::impls::macros::impl_try_extend_safe_for_colliding_type!(
    type: BTreeSet<T> where [T: Ord] of T;
    build_staging: |_, _| BTreeSet::new();
    contains: BTreeSet::contains
);

crate::impls::macros::impl_try_extend_one_for_colliding_type!(
    type: BTreeSet<T> where [T: Ord] of T;
    contains: BTreeSet::contains;
    insert: |set, item| set.insert(item).expect_true("insert should succeed after contains check")
);