linera-witty 0.15.17

Generation of WIT compatible host code from Rust code
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

// Copyright (c) Zefchain Labs, Inc.
// SPDX-License-Identifier: Apache-2.0

//! Compile time splitting of heterogeneous lists.

use frunk::{hlist, HCons, HNil};

/// Compile time splitting of heterogeneous lists.
///
/// Allows splitting a heterogeneous list at a certain point, determined by the `Target` type,
/// which should match this list type until a certain element. The list after that point is
/// returned as the `Remainder` type.
pub trait Split<Target> {
    /// The tail of remaining elements after splitting up the list.
    type Remainder;

    /// Splits the current heterogeneous list in two.
    fn split(self) -> (Target, Self::Remainder);
}

impl<AnyTail> Split<HNil> for AnyTail {
    type Remainder = AnyTail;

    fn split(self) -> (HNil, Self::Remainder) {
        (hlist![], self)
    }
}

impl<Head, SourceTail, TargetTail> Split<HCons<Head, TargetTail>> for HCons<Head, SourceTail>
where
    SourceTail: Split<TargetTail>,
{
    type Remainder = <SourceTail as Split<TargetTail>>::Remainder;

    fn split(self) -> (HCons<Head, TargetTail>, Self::Remainder) {
        let (tail, remainder) = self.tail.split();

        (
            HCons {
                head: self.head,
                tail,
            },
            remainder,
        )
    }
}