pub struct FreerF<F>(/* private fields */)
where
F: HKT + 'static;Expand description
HKT marker for Freer<F, _>.
Note: Cannot implement HKT or Functor due to Rust’s GAT limitations
(type Of<T> cannot add T: 'static in impl when trait doesn’t have it).
Use Freer::fmap directly.
Auto Trait Implementations§
impl<F> Freeze for FreerF<F>
impl<F> RefUnwindSafe for FreerF<F>where
F: RefUnwindSafe,
impl<F> Send for FreerF<F>where
F: Send,
impl<F> Sync for FreerF<F>where
F: Sync,
impl<F> Unpin for FreerF<F>where
F: Unpin,
impl<F> UnsafeUnpin for FreerF<F>
impl<F> UnwindSafe for FreerF<F>where
F: UnwindSafe,
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