搜索Gradle插件

io.arrow-kt.proofs

所有者: 47 Degrees

Kotlin编译器的功能伴侣

https://arrow-kt.io/docs/meta

源代码： https://github.com/arrow-kt/arrow-meta

版本 2.0.0-alpha.6（最新版本）

2.0.0-alpha.6

创建于2022年5月26日。

Kotlin编译器的功能伴侣
其他版本 

使用plugins DSL

plugins {
  id("io.arrow-kt.proofs") version "2.0.0-alpha.6"
}

使用旧的插件应用程序

buildscript {
  repositories {
    maven {
      url = uri("https://plugins.gradle.org.cn/m2/")
    }
  }
  dependencies {
    classpath("io.arrow-kt:arrow-proofs-gradle-plugin:2.0.0-alpha.6")
  }
}

apply(plugin = "io.arrow-kt.proofs")

使用plugins DSL

plugins {
  id "io.arrow-kt.proofs" version "2.0.0-alpha.6"
}

使用旧的插件应用程序

buildscript {
  repositories {
    maven {
      url "https://plugins.gradle.org.cn/m2/"
    }
  }
  dependencies {
    classpath "io.arrow-kt:arrow-proofs-gradle-plugin:2.0.0-alpha.6"
  }
}

apply plugin: "io.arrow-kt.proofs"

了解如何将插件应用于子项目