arrow-core-data / arrow.core / None
| isEmpty | Returns true if the option is None, false otherwise.fun isEmpty(): Boolean |
| toString | fun toString(): String |
| altFold | fun <T, F, A> Kind<T, A>.altFold(AF: Alternative<F>, FT: Foldable<T>): Kind<F, A> |
| altFromOption | fun <F, A> Option<A>.altFromOption(AF: Alternative<F>): Kind<F, A> |
| altSum | fun <T, F, A> Kind<T, Kind<F, A>>.altSum(AF: Alternative<F>, FT: Foldable<T>): Kind<F, A> |
| combine | fun <A> Option<A>.combine(SGA: Semigroup<A>, b: Option<A>): Option<A> |
| combineAll | fun <A> Option<A>.combineAll(MA: Monoid<A>): A |
| ensure | fun <A> Option<A>.ensure(error: () -> Unit, predicate: (A) -> Boolean): Option<A> |
| filterIsInstance | Returns an Option containing all elements that are instances of specified type parameter R.fun <B> Option<*>.filterIsInstance(): Option<B> |
| fix | fun <A> OptionOf<A>.~~fix~~(): Option<A> |
| flatten | fun <A> Option<Option<A>>.flatten(): Option<A> |
| getOrElse | Returns the option’s value if the option is nonempty, otherwise return the result of evaluating default.fun <T> Option<T>.getOrElse(default: () -> T): T |
| handleError | fun <A> Option<A>.handleError(f: (Unit) -> A): Option<A> |
| handleErrorWith | fun <A> Option<A>.handleErrorWith(f: (Unit) -> Option<A>): Option<A> |
| or | infix fun <T> OptionOf<T>.or(value: Option<T>): Option<T> |
| orElse | Returns this option’s if the option is nonempty, otherwise returns another option provided lazily by default.fun <A> OptionOf<A>.orElse(alternative: () -> Option<A>): Option<A> |
| redeem | fun <A, B> Option<A>.redeem(fe: (Unit) -> B, fb: (A) -> B): Option<B> |
| redeemWith | fun <A, B> Option<A>.redeemWith(fe: (Unit) -> Option<B>, fb: (A) -> Option<B>): Option<B> |
| reflect | The inverse of splitM.fun <F, A> Kind<ForOption, Tuple2<Kind<F, A>, A>>.reflect(ML: MonadLogic<F>): Kind<F, A> |
| replicate | fun <A> Option<A>.replicate(n: Int, MA: Monoid<A>): Option<A> |
| rethrow | fun <A> Option<Either<Unit, A>>.rethrow(): Option<A> |
| salign | fun <A> Option<A>.salign(SA: Semigroup<A>, b: Option<A>): Option<A> |
| select | fun <A, B> Option<Either<A, B>>.~~select~~(f: OptionOf<(A) -> B>): Option<B> |
| separateEither | Separate the inner Either value into the Either.Left and Either.Right.fun <A, B> Option<Either<A, B>>.separateEither(): Pair<Option<A>, Option<B>> |
| separateValidated | Separate the inner Validated value into the Validated.Invalid and Validated.Valid.fun <A, B> Option<Validated<A, B>>.separateValidated(): Pair<Option<A>, Option<B>> |
| sequence | fun <A> Option<Iterable<A>>.sequence(): List<Option<A>> |
| sequenceEither | fun <A, B> Option<Either<A, B>>.sequenceEither(): Either<A, Option<B>> |
| sequenceValidated | fun <A, B> Option<Validated<A, B>>.sequenceValidated(): Validated<A, Option<B>> |
| unalign | fun <A, B> Option<Ior<A, B>>.unalign(): Pair<Option<A>, Option<B>>fun <A, B, C> Option<C>.unalign(f: (C) -> Ior<A, B>): Pair<Option<A>, Option<B>> |
| unite | fun <A> Option<Iterable<A>>.unite(MA: Monoid<A>): Option<A> |
| uniteEither | fun <A, B> Option<Either<A, B>>.uniteEither(): Option<B> |
| uniteValidated | fun <A, B> Option<Validated<A, B>>.uniteValidated(): Option<B> |
| unzip | fun <A, B> Option<Pair<A, B>>.unzip(): Pair<Option<A>, Option<B>>fun <A, B, C> Option<C>.unzip(f: (C) -> Pair<A, B>): Pair<Option<A>, Option<B>> |
| widen | Given A is a sub type of B, re-type this value from Option to Optionfun <B, A : B> Option<A>.widen(): Option<B> |
Do you like Arrow?
✖