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
pub mod optics; pub mod traits; pub use traits::{Lens, Prism, Review, Traversal}; pub use optics::{Mapped, _Err, _None, _Ok, _Some, _0, _1, _2, _3, _4, _5, _6, __}; #[macro_export] macro_rules! optics { () => { __ }; ($optic:ident) => { $optic(__) }; ($optic:ident . $($optics:tt)*) => { $optic(optics!($($optics)*)) } } #[cfg(test)] mod tests { use crate::*; #[test] fn test() -> Result<(), ()> { let mut nested: Result<Result<_, ()>, ()> = optics!(_Ok._Ok).review((1, 2)); *optics!(_Ok._Ok._0).pm_mut(&mut nested).ok_or(())? += 1; assert_eq!(optics!(_Ok._Ok._0).pm(nested).ok_or(())?, 2); let mut x = (1, (2, (3, 4))); *optics!(_1._1._1).view_mut(&mut x) *= 2; assert_eq!(optics!(_1._1._1).view(x), 8); let mut x: (_, Result<_, ()>) = (1, Ok((2, 3))); *optics!(_1._Ok._1).pm_mut(&mut x).ok_or(())? *= 2; assert_eq!(optics!(_1._Ok._1).pm(x).ok_or(())?, 6); let mut x = (1, vec![Some((2, 3)), None]); optics!(_1.Mapped._Some._0) .traverse_mut(&mut x) .into_iter() .for_each(|i| *i += 1); assert_eq!(optics!(_1.Mapped._Some._0).traverse(x), vec![3]); Ok(()) } }