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