Type Definition lifted::types::ResultLeft

type ResultLeft<T> = K2P1_1<ResultC, T>;

A Result<T, *> type constructor.

The Result<T, *> type constructor has kind * -> *.

Trait Implementations

impl<T> Functor for ResultLeft<T>

pub fn fmap<A, B, F: Fn(A) -> B>(f: F, a: K1<Self, A>) -> K1<Self, B>