arrow-core / arrow.core.extensions.validated.functor / arrow.Kind
Extensions for arrow.Kind
| fproduct | fun <E, A, B> Kind<Kind<ForValidated, E>, A>.~~fproduct~~(arg1: (A) -> B): Validated<E, Tuple2<A, B>> |
| imap | fun <E, A, B> Kind<Kind<ForValidated, E>, A>.~~imap~~(arg1: (A) -> B, arg2: (B) -> A): Validated<E, B> |
| map | fun <E, A, B> Kind<Kind<ForValidated, E>, A>.~~map~~(arg1: (A) -> B): Validated<E, B> |
| mapConst | fun <E, A, B> Kind<Kind<ForValidated, E>, A>.~~mapConst~~(arg1: B): Validated<E, B> |
| tupleLeft | fun <E, A, B> Kind<Kind<ForValidated, E>, A>.~~tupleLeft~~(arg1: B): Validated<E, Tuple2<B, A>> |
| tupleRight | fun <E, A, B> Kind<Kind<ForValidated, E>, A>.~~tupleRight~~(arg1: B): Validated<E, Tuple2<A, B>> |
| void | fun <E, A> Kind<Kind<ForValidated, E>, A>.~~void~~(): Validated<E, Unit> |
| widen | fun <E, B, A : B> Kind<Kind<ForValidated, E>, A>.~~widen~~(): Validated<E, B> |