arrow-extras-extensions / arrow.data.extensions.coproduct.contravariant

Package arrow.data.extensions.coproduct.contravariant

Extensions for External Classes

arrow.Kind  
arrow.data.Coproduct  

Functions

lift fun <F, G, A, B> lift(CF: Contravariant<F>, CG: Contravariant<G>, arg0: (A) -> B): (Kind<Kind<Kind<ForCoproduct, F>, G>, B>) -> Kind<Kind<Kind<ForCoproduct, F>, G>, A>