idea-plugin / arrow.meta.ide.plugins.proofs.psi / org.jetbrains.kotlin.psi.KtAnnotated

Extensions for org.jetbrains.kotlin.psi.KtAnnotated

isCoercionProof fun KtAnnotated.isCoercionProof(): Boolean
isExtensionProof fun KtAnnotated.isExtensionProof(): Boolean
isGivenProof fun KtAnnotated.isGivenProof(): Boolean
isRefinementProof fun KtAnnotated.isRefinementProof(): Boolean

Do you like Arrow?

Arrow Org
<