1 unstable release
0.1.0 | Oct 19, 2021 |
---|
#41 in #predicate
Used in predicate
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