arrow-core / arrow.core.extensions.andthen.monad / arrow.Kind
Extensions for arrow.Kind
| ap | fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~ap~~(arg1: Kind<Kind<ForAndThen, X>, (A) -> B>): AndThen<X, B> |
| apTap | fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~apTap~~(arg1: Kind<Kind<ForAndThen, X>, B>): AndThen<X, A> |
| effectM | fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~effectM~~(arg1: (A) -> Kind<Kind<ForAndThen, X>, B>): AndThen<X, A> |
| flatMap | fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~flatMap~~(arg1: (A) -> Kind<Kind<ForAndThen, X>, B>): AndThen<X, B> |
| flatTap | fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~flatTap~~(arg1: (A) -> Kind<Kind<ForAndThen, X>, B>): AndThen<X, A> |
| flatten | fun <X, A> Kind<Kind<ForAndThen, X>, Kind<Kind<ForAndThen, X>, A>>.~~flatten~~(): AndThen<X, A> |
| followedBy | fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~followedBy~~(arg1: Kind<Kind<ForAndThen, X>, B>): AndThen<X, B> |
| followedByEval | fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~followedByEval~~(arg1: Eval<Kind<Kind<ForAndThen, X>, B>>): AndThen<X, B> |
| forEffect | fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~forEffect~~(arg1: Kind<Kind<ForAndThen, X>, B>): AndThen<X, A> |
| forEffectEval | fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~forEffectEval~~(arg1: Eval<Kind<Kind<ForAndThen, X>, B>>): AndThen<X, A> |
| ifM | fun <X, B> Kind<Kind<ForAndThen, X>, Boolean>.~~ifM~~(arg1: () -> Kind<Kind<ForAndThen, X>, B>, arg2: () -> Kind<Kind<ForAndThen, X>, B>): AndThen<X, B> |
| map | fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~map~~(arg1: (A) -> B): AndThen<X, B> |
| mproduct | fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~mproduct~~(arg1: (A) -> Kind<Kind<ForAndThen, X>, B>): AndThen<X, Tuple2<A, B>> |
| productL | fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~productL~~(arg1: Kind<Kind<ForAndThen, X>, B>): AndThen<X, A> |
| productLEval | fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~productLEval~~(arg1: Eval<Kind<Kind<ForAndThen, X>, B>>): AndThen<X, A> |
| select | fun <X, A, B> Kind<Kind<ForAndThen, X>, Either<A, B>>.~~select~~(arg1: Kind<Kind<ForAndThen, X>, (A) -> B>): AndThen<X, B> |
| selectM | fun <X, A, B> Kind<Kind<ForAndThen, X>, Either<A, B>>.~~selectM~~(arg1: Kind<Kind<ForAndThen, X>, (A) -> B>): AndThen<X, B> |