arrow-mtl / arrow.mtl.extensions.kleisli.contravariant

Package arrow.mtl.extensions.kleisli.contravariant

Extensions for External Classes

arrow.Kind  
arrow.mtl.Kleisli  

Functions

lift fun <F, D, A, B> lift(arg0: (A) -> B): (Kind<Conested<Kind<ForKleisli, F>, D>, B>) -> Kind<Conested<Kind<ForKleisli, F>, D>, A>
fun <F, D, A, B> lift(CF: Contravariant<F>, arg0: (A) -> B): (Kind<Kind<Kind<ForKleisli, F>, D>, B>) -> Kind<Kind<Kind<ForKleisli, F>, D>, A>