• Home
• io.arrow-kt
• arrow-proofs-plugin
• 2.0.0-alpha.2
• source code
• ProofsMetaPlugin.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.

arrow.meta.ProofsMetaPlugin.kt Maven / Gradle / Ivy

package arrow.meta

import arrow.meta.phases.CompilerContext
import arrow.meta.plugins.proofs.typeProofs

/** Arrow Proofs plugin. */
open class ProofsMetaPlugin : Meta {
  override fun intercept(ctx: CompilerContext): List = listOf(typeProofs)
}

class ProofsMetaCliProcessor : MetaCliProcessor("proofs")