capnp_conv2_codegen_req 0.5.0-pre.1

Friendly Rust types for working with Cap'n Proto CodeGeneratorRequest schema data
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

use crate::codegen_request::node::types::Type;
use capnp::schema_capnp;
use capnp_conv2::capnp_conv;
use serde::{Deserialize, Serialize};

/// Specifies bindings for parameters of generics. Since these bindings turn a generic into a
/// non-generic, we call it the "brand".
#[capnp_conv(schema_capnp::brand)]
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct Brand {
    /// For each of the target type and each of its parent scopes, a parameterization may be
    /// included in this list. If no parameterization is included for a particular relevant scope,
    /// then either that scope has no parameters or all parameters should be considered to be
    /// `AnyPointer`.
    pub scopes: Vec<BrandScope>,
}

#[capnp_conv(schema_capnp::brand::scope)]
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct BrandScope {
    /// ID of the scope to which these params apply.
    pub scope_id: u64,
    #[capnp_conv(type = "unnamed_union")]
    pub kind: BrandScopeKind,
}

#[capnp_conv(schema_capnp::brand::scope)]
#[derive(Debug, Clone, Serialize, Deserialize)]
pub enum BrandScopeKind {
    /// List of parameter bindings.
    Bind(Vec<BrandBinding>),
    /// The place where the Brand appears is within this scope or a sub-scope, and bindings
    /// for this scope are deferred to later Brand applications. This is equivalent to a
    /// pass-through binding list, where each of this scope's parameters is bound to itself.
    Inherit(()),
}

#[capnp_conv(schema_capnp::brand::binding)]
#[derive(Debug, Clone, Serialize, Deserialize)]
pub enum BrandBinding {
    Unbound(()),
    Type(Type),
}