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

Extensions for org.jetbrains.kotlin.psi.KtDeclaration

markerMessage fun KtDeclaration.markerMessage(ctx: CompilerContext): String
proof fun <A> KtDeclaration.proof(ctx: CompilerContext, f: (Proof) -> A): A?

Do you like Arrow?

Arrow Org
<