#predicate #enums #assert #filter #boolean

macro predicate-macros

Easy to implement predicate crate traits

1 unstable release

0.1.0 Oct 19, 2021

#41 in #predicate


Used in predicate

MIT license

7KB
83 lines

predicate-macros

Easy to implement predicate traits.

Macros

  • add_field
  • BitAnd
  • BitOr
  • OpUnitTrait

Example

#[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)),
        }
    }
}

Dependencies

~1.5MB
~35K SLoC