Type Definition lifted::types::PairRight

type PairRight<T> = K2P1_2<PairC, T>;

A (*, T) type constructor.

The (*, T) type constructor has kind * -> *.

Trait Implementations

impl<T> Functor for PairRight<T>

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