• Home
• io.arrow-kt
• arrow-proofs-plugin
• 2.0.0-alpha.2
• source code
• ProofsPlugin.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.plugins.proofs.ProofsPlugin.kt Maven / Gradle / Ivy

package arrow.meta.plugins.proofs

import arrow.meta.CliPlugin
import arrow.meta.Meta
import arrow.meta.invoke
import arrow.meta.plugins.proofs.phases.config.enableProofCallResolver
import arrow.meta.plugins.proofs.phases.ir.ProofsIrCodegen
import arrow.meta.plugins.proofs.phases.ir.removeCompileTimeDeclarations
import arrow.meta.plugins.proofs.phases.quotes.generateGivenPreludeFile
import arrow.meta.plugins.proofs.phases.resolve.proofResolutionRules

val Meta.typeProofs: CliPlugin
  get() = "Type Proofs CLI" {
    meta(
      enableIr(),
      enableProofCallResolver(),
      proofResolutionRules(),
      generateGivenPreludeFile(),
      irCall { ProofsIrCodegen(this) { proveNestedCalls(it) } },
      removeCompileTimeDeclarations(),
      irDumpKotlinLike()
    )
  }