arrow-mtl / arrow.mtl.extensions.cokleisli.contravariant

Package arrow.mtl.extensions.cokleisli.contravariant

Extensions for External Classes

arrow.Kind  
arrow.mtl.Cokleisli  

Functions

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