Milse113
11/16/2021, 1:28 AMplugins {
kotlin("jvm") version "1.5.0"
java
id("io.arrow-kt.refined-types") version "1.0.1"
}
buildscript {
repositories {
mavenCentral()
maven(url = "<https://oss.sonatype.org/content/repositories/snapshots/>")
}
}
repositories {
mavenCentral()
}
dependencies {
implementation(kotlin("stdlib"))
implementation("io.arrow-kt:arrow-meta:1.0.1")
implementation("io.arrow-kt:arrow-refined-types:1.0.1")
implementation("io.arrow-kt:arrow-core:1.0.1")
...
}
raulraja
11/16/2021, 9:47 AMraulraja
11/16/2021, 9:48 AMraulraja
11/16/2021, 9:48 AMraulraja
11/16/2021, 9:49 AMraulraja
11/16/2021, 9:50 AMfun increment(x: Int): Int {
pre(x > 0) { "value must be positive" }
return (x + 1).post({ it > 0 }) { "result is positive" }
}
raulraja
11/16/2021, 9:51 AMraulraja
11/16/2021, 9:53 AMMilse113
11/16/2021, 6:10 PMplugins {
kotlin("jvm") version "1.5.0"
java
id("io.arrow-kt.analysis") version "1.5.31-SNAPSHOT"
}
buildscript {
repositories {
mavenCentral()
maven(url = "<https://oss.sonatype.org/content/repositories/snapshots/>")
}
}
...
Here’s my gradle, what am I missing?Milse113
11/16/2021, 6:12 PMMilse113
11/16/2021, 6:25 PMString
that ensures the inner string matches a specific regex. Is this possible with the new library?raulraja
11/17/2021, 8:29 AMraulraja
11/17/2021, 8:30 AMraulraja
11/17/2021, 8:31 AMMilse113
11/17/2021, 5:28 PMraulraja
11/17/2021, 5:29 PMapply
style for gradle plugins, not the id based in the plugins. If you want to use the plugins section I believe you need to add pluginManagement and those dependencies inside but @Javier may know a better way. We still need to fix all those examples that have not been touched for months and make them part of CI.Javier
11/17/2021, 5:30 PMMilse113
11/17/2021, 5:35 PMJavier
11/17/2021, 5:36 PMJavier
11/17/2021, 5:36 PMMilse113
11/17/2021, 5:39 PMCould not resolve: io.arrow-kt:arrow-analysis-laws:1.5.31-SNAPSHOT
Could not resolve: io.arrow-kt:arrow-analysis-types:1.5.31-SNAPSHOT
Could not resolve: io.arrow-kt:arrow-analysis-laws:1.5.31-SNAPSHOT
Could not resolve: io.arrow-kt:arrow-analysis-types:1.5.31-SNAPSHOT
Milse113
11/17/2021, 5:39 PMJavier
11/17/2021, 5:42 PMMilse113
11/17/2021, 5:42 PMsettings.gradle.kts
pluginManagement {
repositories {
gradlePluginPortal()
mavenCentral()
maven(url = "<https://oss.sonatype.org/content/repositories/snapshots>")
}
}
Milse113
11/17/2021, 5:45 PMJavier
11/17/2021, 6:40 PMJavier
11/17/2021, 6:41 PMMilse113
11/18/2021, 12:27 AMJavier
11/18/2021, 12:27 AMMilse113
11/18/2021, 12:27 AMJavier
11/18/2021, 12:28 AMMilse113
11/18/2021, 12:28 AMJavier
11/18/2021, 12:29 AMJavier
11/18/2021, 12:29 AMMilse113
11/18/2021, 12:30 AMbuildscript {
repositories {
gradlePluginPortal()
mavenCentral()
maven(url = "<https://oss.sonatype.org/content/repositories/snapshots>")
}
}
apply(plugin = "io.arrow-kt.analysis:1.5.31-SNAPSHOT")
this?Javier
11/18/2021, 12:31 AMMilse113
11/18/2021, 12:31 AMJavier
11/18/2021, 12:31 AMJavier
11/18/2021, 12:32 AMapply(plugin = "io.arrow-kt.analysis")
Javier
11/18/2021, 12:32 AMMilse113
11/18/2021, 12:32 AMPlugin with id 'io.arrow-kt.analysis' not found.
Javier
11/18/2021, 12:32 AMplugins {
id("io.arrow-kt.analysis")
}
Javier
11/18/2021, 12:32 AMapply(plugin = "io.arrow-kt.analysis:1.5.31-SNAPSHOT")
Javier
11/18/2021, 12:32 AMJavier
11/18/2021, 12:33 AMMilse113
11/18/2021, 12:33 AMMilse113
11/18/2021, 12:33 AMMilse113
11/18/2021, 12:33 AMMilse113
11/18/2021, 12:33 AMMilse113
11/18/2021, 12:33 AMJavier
11/18/2021, 12:34 AMMilse113
11/18/2021, 12:34 AMJavier
11/18/2021, 12:38 AMMilse113
11/18/2021, 12:38 AMJavier
11/18/2021, 12:39 AMJavier
11/18/2021, 12:39 AMMilse113
11/18/2021, 12:39 AMMilse113
11/18/2021, 12:40 AMJavier
11/18/2021, 12:41 AMpluginManagement {
repositories {
gradlePluginPortal()
mavenCentral()
google()
maven("<https://oss.sonatype.org/content/repositories/snapshots/>")
}
}
dependencyResolutionManagement {
repositories {
mavenCentral()
google()
gradlePluginPortal()
maven("<https://oss.sonatype.org/content/repositories/snapshots/>")
}
}
In another project it is being downloaded with thatJavier
11/18/2021, 12:41 AMJavier
11/18/2021, 12:41 AMplugins {
kotlin("multiplatform")
// id("com.android.library")
id("io.arrow-kt.analysis") version "1.5.31-SNAPSHOT"
}
Javier
11/18/2021, 12:42 AMJavier
11/18/2021, 12:42 AMMilse113
11/18/2021, 12:44 AMMilse113
11/18/2021, 12:44 AMMilse113
11/18/2021, 12:44 AMplugins {
kotlin("jvm") version "1.5.31"
java
id("io.arrow-kt.analysis") version "1.5.31-SNAPSHOT"
}
//apply(plugin = "io.arrow-kt.analysis")
group = "wtf.mizu"
version = "1.0-rc1"
repositories {
mavenCentral()
}
dependencies {
implementation(kotlin("stdlib"))
implementation("io.arrow-kt:arrow-meta:1.0.1")
implementation("io.arrow-kt:arrow-core:1.0.1")
testImplementation(kotlin("test"))
testImplementation("org.junit.jupiter:junit-jupiter-api:5.8.1")
testRuntimeOnly("org.junit.jupiter:junit-jupiter-engine:5.8.1")
}
tasks.getByName<Test>("test") {
useJUnitPlatform()
}
my build.gradle.ktsMilse113
11/18/2021, 12:44 AMrootProject.name = "mizu-common"
pluginManagement {
repositories {
gradlePluginPortal()
mavenCentral()
google()
maven("<https://oss.sonatype.org/content/repositories/snapshots/>")
}
}
dependencyResolutionManagement {
repositories {
mavenCentral()
google()
gradlePluginPortal()
maven("<https://oss.sonatype.org/content/repositories/snapshots/>")
}
}
my settings.gradle.ktsJavier
11/18/2021, 12:45 AMJavier
11/18/2021, 12:45 AMbuildSrc
Milse113
11/18/2021, 12:45 AMMilse113
11/18/2021, 12:45 AMJavier
11/18/2021, 12:46 AMMilse113
11/18/2021, 12:46 AMJavier
11/18/2021, 12:46 AMJavier
11/18/2021, 12:47 AM./gradlew build --refresh-dependencies
?Milse113
11/18/2021, 12:49 AM* What went wrong:
Execution failed for task ':compileKotlin'.
> Error while evaluating property 'filteredArgumentsMap' of task ':compileKotlin'
> Could not resolve all dependencies for configuration ':kotlinCompilerPluginClasspathMain'.
The project declares repositories, effectively ignoring the repositories you have declared in the settings.
You can figure out how project repositories are declared by configuring your build to fail on project repositories.
See <https://docs.gradle.org/7.2/userguide/declaring_repositories.html#sub:fail_build_on_project_repositories> for details.
> Could not find io.arrow-kt:arrow-analysis-kotlin-plugin:1.5.31-SNAPSHOT.
Required by:
project :
Javier
11/18/2021, 12:50 AMJavier
11/18/2021, 12:50 AMJavier
11/18/2021, 12:51 AMJavier
11/18/2021, 12:51 AMJavier
11/18/2021, 12:51 AMMilse113
11/18/2021, 1:05 AMJavier
11/18/2021, 1:07 AMMilse113
11/18/2021, 1:07 AMMilse113
11/18/2021, 1:07 AMJavier
11/18/2021, 1:08 AMAlejandro Serrano Mena
11/19/2021, 6:56 PMrepositories {
mavenCentral()
maven(url = "<https://oss.sonatype.org/content/repositories/snapshots/>")
}
buildscript {
repositories {
maven(url = "<https://oss.sonatype.org/content/repositories/snapshots/>")
}
dependencies {
classpath("io.arrow-kt.analysis:io.arrow-kt.analysis.gradle.plugin:1.5.31-SNAPSHOT")
}
}
apply(plugin = "io.arrow-kt.analysis")
Alejandro Serrano Mena
11/19/2021, 6:57 PM