franklinblanco/kotlin-result
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add compiler contract to Result#toErrorIf

Browse Source
This commit is contained in:
Michael Bull 2020-04-18 11:43:31 +01:00
parent 2ef738abcb
commit 22898fff4f
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/main/kotlin/com/github/michaelbull/result/Map.kt
View File

@ -172,6 +172,11 @@ inline infix fun <V, E, U> Result<V, E>.flatMap(transform: (V) -> Result<U, E>):
* and satisfies the given [predicate], otherwise this [Result]. * and satisfies the given [predicate], otherwise this [Result].
*/ */
inline fun <V, E> Result<V, E>.toErrorIf(predicate: (V) -> Boolean, transform: (V) -> E): Result<V, E> { inline fun <V, E> Result<V, E>.toErrorIf(predicate: (V) -> Boolean, transform: (V) -> E): Result<V, E> {
contract {
callsInPlace(predicate, InvocationKind.AT_MOST_ONCE)
callsInPlace(transform, InvocationKind.AT_MOST_ONCE)
}
return when (this) { return when (this) {
is Ok -> if (predicate(value)) { is Ok -> if (predicate(value)) {
Err(transform(value)) Err(transform(value))