arrow-mtl / arrow.mtl.extensions.statet.contravariant

Package arrow.mtl.extensions.statet.contravariant

Extensions for External Classes

arrow.Kind  
arrow.mtl.StateT  

Functions

lift fun <F, S, A, B> lift(CF: Contravariant<F>, MF: Monad<F>, arg0: (A) -> B): (Kind<Kind<Kind<ForStateT, F>, S>, B>) -> Kind<Kind<Kind<ForStateT, F>, S>, A>