pocket_prover-derive

为 pocket_prover 推导过程宏。

示例

#[macro_use]
extern crate pocket_prover_derive;
extern crate pocket_prover;

use pocket_prover::Construct;

#[derive(Construct)]
pub struct Foo {
    pub a: u64,
    pub b: u64,
}

由于 pocket_prover 只使用 u64，它是唯一的合法具体字段类型。

该宏支持泛型参数，假设内部类型实现了 Construct

#[derive(Construct)]
pub struct Bar<T = ()> {
    pub foo: T,
    pub a: u64,
    pub b: u64,
}

lib.rs:

pocket_prover-derive

为 pocket_prover 推导过程宏。

示例

#[macro_use]
extern crate pocket_prover_derive;
extern crate pocket_prover;

use pocket_prover::Construct;

#[derive(Construct)]
pub struct Foo {
    pub a: u64,
    pub b: u64,
}

由于 pocket_prover 只使用 u64，它是唯一的合法具体字段类型。

该宏支持泛型参数，假设内部类型实现了 Construct

#[derive(Construct)]
pub struct Bar<T = ()> {
    pub foo: T,
    pub a: u64,
    pub b: u64,
}