pub struct Xor { /* private fields */ }
Expand description
Boolean xor operation. Takes two church booleans, and returns whether only one is true.
N ::= Not
λa.λb.a(Nb)b
Trait Implementations§
Source§impl Ord for Xor
impl Ord for Xor
Source§impl PartialOrd for Xor
impl PartialOrd for Xor
impl Copy for Xor
impl Eq for Xor
impl StructuralPartialEq for Xor
Auto Trait Implementations§
impl Freeze for Xor
impl RefUnwindSafe for Xor
impl Send for Xor
impl Sync for Xor
impl Unpin for Xor
impl UnwindSafe for Xor
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more