arrow-core / arrow.core.extensions.validated.selective / arrow.Kind
Extensions for arrow.Kind
| andS | fun <E, A> Kind<Kind<ForValidated, E>, Boolean>.~~andS~~(SE: Semigroup<E>, arg1: Kind<Kind<ForValidated, E>, Boolean>): Validated<E, Boolean> |
| branch | fun <E, A, B, C> Kind<Kind<ForValidated, E>, Either<A, B>>.~~branch~~(SE: Semigroup<E>, arg1: Kind<Kind<ForValidated, E>, (A) -> C>, arg2: Kind<Kind<ForValidated, E>, (B) -> C>): Validated<E, C> |
| ifS | fun <E, A> Kind<Kind<ForValidated, E>, Boolean>.~~ifS~~(SE: Semigroup<E>, arg1: Kind<Kind<ForValidated, E>, A>, arg2: Kind<Kind<ForValidated, E>, A>): Validated<E, A> |
| orS | fun <E, A> Kind<Kind<ForValidated, E>, Boolean>.~~orS~~(SE: Semigroup<E>, arg1: Kind<Kind<ForValidated, E>, Boolean>): Validated<E, Boolean> |
| select | fun <E, A, B> Kind<Kind<ForValidated, E>, Either<A, B>>.~~select~~(SE: Semigroup<E>, arg1: Kind<Kind<ForValidated, E>, (A) -> B>): Validated<E, B> |
| whenS | fun <E> Kind<Kind<ForValidated, E>, Boolean>.~~whenS~~(SE: Semigroup<E>, arg1: Kind<Kind<ForValidated, E>, () -> Unit>): Validated<E, Unit> |