arrow-mtl / arrow.mtl.extensions.writert.contravariant

Package arrow.mtl.extensions.writert.contravariant

Extensions for External Classes

arrow.Kind  
arrow.mtl.WriterT  

Functions

lift fun <F, W, A, B> lift(CF: Contravariant<F>, arg0: (A) -> B): (Kind<Kind<Kind<ForWriterT, F>, W>, B>) -> Kind<Kind<Kind<ForWriterT, F>, W>, A>