predicate-macros

易于实现 谓词 特性。

宏

• add_field
• BitAnd
• BitOr
• OpUnitTrait

示例

#[add_field]
#[derive(BitAnd, BitOr, OpUnitTrait)]
enum NumType {
    Odd,
    Even,
    DivByThree,
    DivByFour,
    DivByFive,
    IsMagicNum(i32),
}

expand

enum NumType {
    Odd,
    Even,
    DivByThree,
    DivByFour,
    DivByFive,
    IsMagicNum(i32),
    Unit(OpUnitInnerType<OpUnit<NumType>>),
}

impl std::ops::BitAnd for NumType {
    type Output = Self;

    fn bitand(self, rhs: Self) -> Self::Output {
        let node = OpUnit::new(
            Some(OpUnitInnerType::new(self)),
            Some(OpUnitInnerType::new(rhs)),
            Operation::And,
        );
        NumType::Unit(OpUnitInnerType::new(node))
    }
}

impl std::ops::BitOr for NumType {
    type Output = Self;

    fn bitor(self, rhs: Self) -> Self::Output {
        let node = OpUnit::new(
            Some(OpUnitInnerType::new(self)),
            Some(OpUnitInnerType::new(rhs)),
            Operation::Or,
        );
        NumType::Unit(OpUnitInnerType::new(node))
    }
}

impl OpUnitTrait for NumType {
    fn get_op_unit(self: &OpUnitInnerType<Self>) -> OpUnitInnerType<OpUnit<Self>> {
        match self.as_ref() {
            NumType::Unit(unit) => unit.clone(),
            _ => OpUnitInnerType::new(OpUnit::new(Some(self.clone()), None, Operation::Single)),
        }
    }
}