[−][src]Struct lifted::K2P1_1
The left-applied specialization of a kind * -> * -> *
.
Trait Implementations
impl<M: Applicative> Applicative for K2P1_1<IdentityT, M>
[src]
pub fn pure<T>(t: T) -> K1<Self, T>
[src]
pub fn app<A: Clone, B, F: Fn(A) -> B>(
f: K1<Self, F>,
a: K1<Self, A>
) -> K1<Self, B>
[src]
f: K1<Self, F>,
a: K1<Self, A>
) -> K1<Self, B>
impl<M: Applicative> Applicative for K2P1_1<OptionT, M>
[src]
pub fn pure<T>(t: T) -> K1<Self, T>
[src]
pub fn app<A: Clone, B, F: Fn(A) -> B>(
f: K1<Self, F>,
a: K1<Self, A>
) -> K1<Self, B>
[src]
f: K1<Self, F>,
a: K1<Self, A>
) -> K1<Self, B>
impl<M: Functor> Functor for K2P1_1<IdentityT, M>
[src]
impl<M: Functor> Functor for K2P1_1<OptionT, M>
[src]
impl<R: Kind2<T, U>, T, U> Kind1<U> for K2P1_1<R, T>
[src]
type Inner = <R as Kind2<T, U>>::Inner
The implementation type. Usually (but not necessarily) parameterized on type. Read more
pub fn new(t: Self::Inner) -> K1<Self, T>
[src]
impl<M: Monad> Monad for K2P1_1<IdentityT, M>
[src]
impl<M: Monad> Monad for K2P1_1<OptionT, M>
[src]
Auto Trait Implementations
impl<R: ?Sized, T> RefUnwindSafe for K2P1_1<R, T> where
R: RefUnwindSafe,
T: RefUnwindSafe,
R: RefUnwindSafe,
T: RefUnwindSafe,
impl<R: ?Sized, T> Send for K2P1_1<R, T> where
R: Send,
T: Send,
R: Send,
T: Send,
impl<R: ?Sized, T> Sync for K2P1_1<R, T> where
R: Sync,
T: Sync,
R: Sync,
T: Sync,
impl<R: ?Sized, T> Unpin for K2P1_1<R, T> where
R: Unpin,
T: Unpin,
R: Unpin,
T: Unpin,
impl<R: ?Sized, T> UnwindSafe for K2P1_1<R, T> where
R: UnwindSafe,
T: UnwindSafe,
R: UnwindSafe,
T: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,