arrow-core / arrow.core.extensions.const.contravariant / arrow.Kind
Extensions for arrow.Kind
| contramap | fun <A, B> Kind<Kind<ForConst, A>, A>.~~contramap~~(arg1: (B) -> A): Const<A, B> |
| imap | fun <A, B> Kind<Kind<ForConst, A>, A>.~~imap~~(arg1: (A) -> B, arg2: (B) -> A): Const<A, B> |
| narrow | fun <A, B : A> Kind<Kind<ForConst, A>, A>.~~narrow~~(): Const<A, B> |