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