Random thought: With higher-kinds using arrow-meta, can we have something like

@higherkind interface Eq<A>

@higherkind interface Show<A> : Eq<A>

? With the current encoding this is not possible because we'd inherit from two Kinds

Kind<ForEq, A>

and

Kind<ForShow, A>

. This is quite useful when defining/deriving these instances (for example by using the

Divisible

typeclass family)

Hey, I remember you mentioning that you have set up a pipeline with to follow Kotlin snapshot releases. Does that include the all artifacts of compiler or just

compiler-embeddable

artifact? I just have tried to apply plugin to K/N and failing so far 😄

I'm trying to resolve the type of an variable declaration where the type is implicit from the initializer

var x = 0

. I'm using the quote template dsl to do some manipulations with the type information. Any direction?

Is there a good [formal] way for me to compare a reference to a declaration?

preesh the invite @amanda.hinchman-dominguez! excited to get meta 👨‍🏭🏾

How can I get access to annotations defined on properties in the IrPhase? I don't have any issue finding the class annotations, but can't seem to locate where the property annotations are.

Is this the best place to get started making a plugin? https://github.com/arrow-kt/arrow-meta-examples

looks like u guys need to push the repo change to the documentation site

what do I miss?

I wanted to use my arrow-test project (https://github.com/jansorg/arrow-meta-test), but this is failing now because it can't find the gradle plugin. And the gradle plugin page is showing version

0.0.0

, which doesn't seem to be correct, https://plugins.gradle.org/plugin/io.arrow-kt.arrow. What's the version of the gradle plugin I have to use to make this work?

I’m attempting to convert the Arrow Meta hello-world example to work in a Multiplatform project, but the

compileKotlin

closure is not present in KMP projects. Does anyone know how to configure it? I suspect I’m missing something trivial, but cannot seem to find any documentation for compiler arguments for KMP projects.

I got the above working fine for JVM targets, but macOS builds are throwing:

The provided plugin io.arrowkt.example.MetaPlugin is not compatible with this version of compiler

and JS builds are throwing

project ':create-plugin' is not configured for JS usage

I disabled JS as it wasn’t something I was planing on targeting anyway, but the macOS error is a bit puzzling. Searching this Slack I can see various other reports of it, but the reasons seem a bit different. I would kinda assume that everything uses the same version of Kotlin all dependency versions are only defined in one place. Anyone got any ideas what could be causing it?

Hi! I am facing this problem building arrow meta

e: /Users/matias.lev/IdeaProjects/arrow-meta/gradle-plugin/src/main/kotlin/arrow/meta/plugin/gradle/InstallIdeaPlugin.kt: (3, 51): Symbol is declared in module 'java.xml' which does not export package '<http://com.sun.org|com.sun.org>.apache.xerces.internal.parsers'

has Someone an insight of what could be the problem?

Probably something local because I am on master without changes 🤔 Someones has an idea of what could be going on?

Is this possible with the current state of arrow-meta? https://twitter.com/pacoworks/status/1222471736815386624?s=19

I'm currently looking for a topic for my bachelor thesis. Do you have any ideas for a thesis topic in the context of arrow/arrow-meta? Perhaps a first class automatic refactoring tool like Scala-Fix based on arrow-meta combined with an IDE plugin that could be used in a regex-like fashion but on AST level.

trying to build a compiler plugin that targets classes annotated with

@ValueClass

and generates

toString

equals

and

hashCode

(without copy) I figured out how to generate

toString

and

hashCode

(working on

equals

next, and probably

componentX

) I figured out how to add functions to a class (Based on the Lens plugin) question: how would I add this code only to classes annotated with

@ValueClass

?

private fun isValueClass(ktClass: KtClass): Boolean =
    !ktClass.isData() &&
        ktClass.primaryConstructorParameters.isNotEmpty() &&
        ktClass.primaryConstructorParameters.all { !it.isMutable } &&
        ktClass.typeParameters.isEmpty()

missing a check for my annotation ☝️

Hi guys, I would be helpful for any hints on how to implement retry with

IO<Either<DomainError, Value>>

. I would like to retry not only on

Exception

reported within

IO

context but also on logical

DomainError

reported within contained

Either

. The only thing connected to retries I found is https://github.com/luisdeltoro/arrow-effects-retry

Question on Arrow+Gradle: https://meta.arrow-kt.io/docs/apidocs/compiler-plugin/arrow.meta.plugins.hello-world/hello-world.html links to the gradle plugin page https://plugins.gradle.org/plugin/io.arrow-kt.arrow, but that's a 404. I couldn't find the current version of the arrow gradle plugin. The version I used previously doesnt't seem to be around, anymore.

Hello. I'm trying to apply the "helloworld" plugin to my project. I'm getting:

e: java.lang.NoSuchMethodError: '<http://org.jetbrains.kotlin.com|org.jetbrains.kotlin.com>.intellij.openapi.extensions.impl.ExtensionPointImpl[] <http://org.jetbrains.kotlin.com|org.jetbrains.kotlin.com>.intellij.openapi.extensions.impl.ExtensionsAreaImpl.getExtensionPoints()'

. I assume the problem is in a mismatch of version of something, but I can't pinpoint what it is. Do you manage to understand it from that error message?

Hi, I'm thinking about writing a compiler plugin to support named parameters in function types. I need it to do the following transformation:

@NamedParameters
typealias UpdateUserByToken = (userToken: String, update: (User) -> User) -> Unit

to

interface UpdateUserByToken {
    operator fun invoke(userToken: String, update: (User) -> User): Unit

    companion object {
        operator fun invoke(impl: (userToken: String, update: (User) -> User) -> Unit) = object: UpdateUserByToken {
            override fun invoke(userToken: String, update: (User) -> User) = impl(userToken, update)
        }
    }
}

So you can stuff like this:

val updateUserByToken = UpdateUserByToken { userToken, update ->
    // implement
}

[...]

updateUserByToken(userToken = "1234") {
    user.copy(email = "<mailto:foo@bar.com|foo@bar.com>")
}

Is this possibly with arrow-meta? How could I distribute this plugin to my colleagues? Thanks in advance!

hey, I was looking into ide plugin install and found out this task in gradle plugin: https://github.com/arrow-kt/arrow-meta/blob/b39158f3999e8963985c1bc8b5e31ccb16bdd2ef/gradle-plugin/src/main/kotlin/arrow/meta/plugin/gradle/InstallIdeaPlugin.kt I am a little bit curious, will it provide platform for other meta based plugins to be (at least partially) hot-swappable or we will have to create and install a separate ide plugin to match compiler ones?

Can I use arrow meta to change generics on types before code analysis?

https://github.com/Redrield/refinement-units proof of concept for a type-safe units of measure library that im toying with using arrow

Are there any example projects using arrow meta for companion IDE plugins? https://hasteb.in/nihurese.gradle this buildscript is giving me issues where i cant resolve anything (trying to auto-import IdeMetaPlugin) in intellij

Not Arrow related but can anyone help with this?

Has anybody tried using Arrow-meta in a kotlin multiplatform project? I'm thinking of using the Type Union feature to replace the Either monad for UseCases in CLEAN Architecture, but I think the compiler additions might not play very well with Kotlin Native... Thoughts?

Hi guys, I'm trying to create a compiler plugin for an Android project, but I have some issues. I took a look at examples, but it is using

shadowJar

and I can't make it work with Android. Do you have any suggestion or example? Thank you