pub struct Successor { /* private fields */ }
Expand description
Successor function. Returns a number plus one.
λn.λf.λx.f(nfx)
Trait Implementations§
Source§impl Ord for Successor
impl Ord for Successor
Source§impl PartialOrd for Successor
impl PartialOrd for Successor
impl Copy for Successor
impl Eq for Successor
impl StructuralPartialEq for Successor
Auto Trait Implementations§
impl Freeze for Successor
impl RefUnwindSafe for Successor
impl Send for Successor
impl Sync for Successor
impl Unpin for Successor
impl UnwindSafe for Successor
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