pub struct IsLawfulFunctor;Expand description
The type is a lawful functor.
Trait Implementations§
impl Implies<FunctorComposition> for IsLawfulFunctor
impl Implies<FunctorIdentity> for IsLawfulFunctor
impl Implies<IsLawfulFunctor> for IsLawfulMonad
Auto Trait Implementations§
impl Freeze for IsLawfulFunctor
impl RefUnwindSafe for IsLawfulFunctor
impl Send for IsLawfulFunctor
impl Sync for IsLawfulFunctor
impl Unpin for IsLawfulFunctor
impl UnsafeUnpin for IsLawfulFunctor
impl UnwindSafe for IsLawfulFunctor
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