arrow-core / arrow.core.extensions.mapk.foldable / arrow.Kind
Extensions for arrow.Kind
| all | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~all~~(arg1: (A) -> Boolean): Boolean |
| combineAll | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~combineAll~~(arg1: Monoid<A>): A |
| exists | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~exists~~(arg1: (A) -> Boolean): Boolean |
| find | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~find~~(arg1: (A) -> Boolean): Option<A> |
| firstOption | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~firstOption~~(): Option<A>fun <K, A> Kind<Kind<ForMapK, K>, A>.~~firstOption~~(arg1: (A) -> Boolean): Option<A> |
| firstOrNone | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~firstOrNone~~(): Option<A>fun <K, A> Kind<Kind<ForMapK, K>, A>.~~firstOrNone~~(arg1: (A) -> Boolean): Option<A> |
| fold | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~fold~~(arg1: Monoid<A>): A |
| foldLeft | fun <K, A, B> Kind<Kind<ForMapK, K>, A>.~~foldLeft~~(arg1: B, arg2: (B, A) -> B): B |
| foldM | fun <K, G, A, B> Kind<Kind<ForMapK, K>, A>.~~foldM~~(arg1: Monad<G>, arg2: B, arg3: (B, A) -> Kind<G, B>): Kind<G, B> |
| foldMap | fun <K, A, B> Kind<Kind<ForMapK, K>, A>.~~foldMap~~(arg1: Monoid<B>, arg2: (A) -> B): B |
| foldMapM | fun <K, G, A, B, MA : Monad<G>, MO : Monoid<B>> Kind<Kind<ForMapK, K>, A>.~~foldMapM~~(arg1: MA, arg2: MO, arg3: (A) -> Kind<G, B>): Kind<G, B> |
| foldRight | fun <K, A, B> Kind<Kind<ForMapK, K>, A>.~~foldRight~~(arg1: Eval<B>, arg2: (A, Eval<B>) -> Eval<B>): Eval<B> |
| forAll | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~forAll~~(arg1: (A) -> Boolean): Boolean |
| get | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~get~~(arg1: Long): Option<A> |
| isEmpty | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~isEmpty~~(): Boolean |
| isNotEmpty | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~isNotEmpty~~(): Boolean |
| nonEmpty | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~nonEmpty~~(): Boolean |
| reduceLeftOption | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~reduceLeftOption~~(arg1: (A, A) -> A): Option<A> |
| reduceLeftToOption | fun <K, A, B> Kind<Kind<ForMapK, K>, A>.~~reduceLeftToOption~~(arg1: (A) -> B, arg2: (B, A) -> B): Option<B> |
| reduceRightOption | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~reduceRightOption~~(arg1: (A, Eval<A>) -> Eval<A>): Eval<Option<A>> |
| reduceRightToOption | fun <K, A, B> Kind<Kind<ForMapK, K>, A>.~~reduceRightToOption~~(arg1: (A) -> B, arg2: (A, Eval<B>) -> Eval<B>): Eval<Option<B>> |
| sequence_ | fun <K, G, A> Kind<Kind<ForMapK, K>, Kind<G, A>>.~~sequence_~~(arg1: Applicative<G>): Kind<G, Unit> |
| size | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~size~~(arg1: Monoid<Long>): Long |
| toList | fun <K, A> Kind<Kind<ForMapK, K>, A>.~~toList~~(): List<A> |
| traverse_ | fun <K, G, A, B> Kind<Kind<ForMapK, K>, A>.~~traverse_~~(arg1: Applicative<G>, arg2: (A) -> Kind<G, B>): Kind<G, Unit> |