• Home
• org.apache.hudi
• hudi-utilities-bundle_2.11
• 0.6.0
• source code
• Effect.kt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

kotlin.internal.contracts.Effect.kt Maven / Gradle / Ivy

/*
 * Copyright 2010-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license
 * that can be found in the license/LICENSE.txt file.
 */

package kotlin.internal.contracts

import kotlin.internal.ContractsDsl

@ContractsDsl
@SinceKotlin("1.2")
internal interface Effect

@ContractsDsl
@SinceKotlin("1.2")
internal interface ConditionalEffect : Effect

@ContractsDsl
@SinceKotlin("1.2")
internal interface SimpleEffect {
    @ContractsDsl
    infix fun implies(booleanExpression: Boolean): ConditionalEffect
}


@ContractsDsl
@SinceKotlin("1.2")
internal interface Returns : SimpleEffect

@ContractsDsl
@SinceKotlin("1.2")
internal interface ReturnsNotNull : SimpleEffect

@ContractsDsl
@SinceKotlin("1.2")
internal interface CallsInPlace : SimpleEffect