Okay okay wow so I've been pulling my hair over Arrow Meta just not working at all in my project recently until right now when I realised that it's because it doesn't work with any package that has dots in it 🤦‍♂️ . Could there possibly be a better error message for that?

Hey everyone! So I have a

SimpleFunctionDescriptor

, obtained from:

bindingContext.getSliceContents(BindingContext.FUNCTION)//.first()

I'm trying to get the body or the statements of this function, but I can't find the method to do so?

Hi everyone, I'm seeing some weird behavior when printing the body of named functions that span multiple lines.

fun test() {
    println("Testing...")
    val a = 1
    val b = 2
}

val Meta.myPlugin: CliPlugin
    get() =
        "Plugin" {
            meta(namedFunction(this, { name == "test" }) { function ->
                error(body)
            })
        }

prints

println("Testing...")
    val a = 1
    val b = 2
}
{
    println("Testing...")
    val a = 1
    val b = 2
}
{
    println("Testing...")
    val a = 1
    val b = 2

Apparently, it's printing the function's body as many times as it has lines with

}

and

{

in between. Is that a known issue?

Hi everyone! Correct me if this question should be posted on github instead. Are there updates on

typed quotes

PR? It's been around for a while now. Seems fully functional, but merge is blocked by conflicts.

Hi! How to register your own IDE plugin via MetaIde? I'm at the stage when Meta IDE plugin successfully resolves, tests ran. (Thanks to

arrow-meta-examples

). But IDE didn't register plugins ><

Hello. While building from the latest arrow-meta, I found this failed as it doesn’t exist? https://github.com/arrow-kt/arrow-meta/blob/master/build.gradle#L59 - for now I’ve commented it out on my branch but curious about that.

Hi, I'm using the

classDeclaration

Quote and I'd like to check if the class is annotated with an annotation using the annotation's fqname. However, when I loop over the its

annotationEntries

all their `name`s seem to be null and only `shortName`s are available, also the

isAnnotatedWith

function seems to only match for the short name.

Hello, I want want to do some contributions. I don't know where to start from. plz let me know what can I do in arrow-meta. thanks beforehand.

Hi all! Asynchronously dropping this here: The docs on https://meta.arrow-kt.io/setup.html are a little out of date, with the Gradle Plugin Portal being a dead link (https://plugins.gradle.org/plugin/io.arrow-kt.arrow). Does anyone know what the correct link would be? (Will swing by tomorrow but afk for now.)

Hi there 👋 Likely noob question here but I managed to built a compiler plugin that generates code and when I run it, it behaves as expected; however, IntelliJ highlights the injected code as an

Unresolved reference

. Is that normal and if so, how does one go about fixing these reference errors? I am using

Transform.replace(..)

To be specific in case it is needed, my plugin generates a companion object for abstract classes annotated with

@TableName

and creates the same named properties in the companion object with the value being what is passed inside the

@ColumnName

annotation. The code runs fine but IntelliJ highlights it as an error:

ℹ️ Hi 👋 Please, the OSS JFrog repository for SNAPSHOT versions:

maven { url "<https://oss.jfrog.org/artifactory/oss-snapshot-local/>" }

has been replaced by:

maven { url "<https://oss.sonatype.org/content/repositories/snapshots/>" }

1.4.10-SNAPSHOT

artifacts will be removed from the old repository to avoid misunderstandings in the next few minutes. Thanks!!

ℹ️ Hi 👋 @here In case the latest version under development

1.5.0-SNAPSHOT

is being used. Some changes were introduced today!

compiler-plugin

has been moved to

compiler-plugin-core

and there is a new artifact for every compiler plugin. You can find more details in `arrow-meta-examples` repository and setup

compiler-plugin

for

1.5.0-SNAPSHOT

will be removed tomorrow to avoid misunderstandings. Thanks for your interest!

I came here from Amanda’s talk about AST which led me to Ale’s post both very interesting having said that NGL  - I have not finished both till the end. Need more learning or refresher on former.  In Ale’s post I am struggling to understand the below two assumptions that I took or understood it that way: 1. Operand = Expression      The above stands true  if the LHS is equated to RHS       However RHS is not a constant as is evaluated by applying principles of BODMAS to LHS. 2. I am struggling to understand the necessity of 2 languages (apologies if it sounds otherwise intended) as I feel Kotlin allows us to do it perhaps?      I am not an expert but my understanding is the parser (say designed for Kotlin language)   a. From the intermediate class identify the patterns or classify regex and do recursive process of elimination   b. If the patterns matches the keyword and operands [stored in appropriate Data Structure] of the language (then removed them / push).   - Pass 1   c. Read the file LTR, get the constants away (i.e. remove them / push) - Pass 2   d. Read the file LTR, get the variables (i.e. remove them / push) - Pass 3 Then pop and using S-expression apply BODMAS = Voila ? If I have missed something or misunderstood please guide me.

ℹ️ Hi 👋 Arrow Meta Gradle Plugin: •

id: io.arrow-kt.arrow

was replaced by a specific Gradle Plugin for every Compiler Plugin: •

io.arrow-kt.refined-types

•

io.arrow-kt.proofs

•

io.arrow-kt.optics

• ... • more coming The artifact of the old Arrow Meta Gradle Plugin for the latest version under development

1.5.0-SNAPSHOT

  will be removed tomorrow to avoid misunderstandings. Sorry for the inconveniences and thanks for your interest! 🙌

Hi, when trying to define my own refined types I'm getting an

java.lang.IllegalArgumentException: object is not an instance of declaring class : package.PositiveInt2.Companion.invoke

This happens just by defining new refined type. I tried to copy

PositiveInt

and just change the name

class PositiveInt2 private constructor(val value: Int) {
    companion object : Refined<Int, PositiveInt2>(::PositiveInt2, {
        ensure((it > 0) to "$it should be > 0")
    })
}

is it a bug in a

io.arrow-kt:arrow-refined-types-gradle-plugin:1.5.0-SNAPSHOT

or am I missing something?

I can't seem to get

arrow-optics-gradle-plugin

working with Kotlin Multiplatform. It uses a Kotlin compiler plugin, so it should work, right? The properties in the companion object are never generated though, whether I put the data class in

commonMain/kotlin

or

jvmMain/kotlin

.

Hey all! I'm really excited about the prospect of using Arrow meta to write compiler plugins for Kotlin. To get started learning arrow-meta, I tried writing a simple compiler plugin recently to try to add a simple Haskell-like "deriving" mechanism that adds statements to an existing class body to automatically implement a particular interface for data classes. I'm using kotlin-poet to generate the new statements, and the code I'm using looks like (some sections elided for brevity):

/** Kotlin compiler plugin to automatically derive a Buildable instance for any class
 * annotated Buildable. */
val Meta.genBuildable: CliPlugin get() =
    "GenBuildable" {
        meta(
            classDeclaration(
                ctx = this,
                match = {
                    // ...
                },
                map = { (c, d) ->
                    val dataClass = classAsDataClass(c)!!
                    Transform.replace(
                        replacing = c,
                        newDeclaration = c
                            .text.`class`.syntheticScope.value!!.also { it ->
                                it.addDeclaration(
                                    generatePartialClass(dataClass)
                                        .toString()
                                        .declaration<KtDeclaration>()
                                        .value!!
                                )
                                it.addDeclaration(
                                    generateCtx(dataClass)
                                        .toString()
                                        .declaration<KtDeclaration>()
                                        .value!!
                                )
                                it
                            }.text
                            .`class`
                    )
                }
            )
        )
    }

I've tried this, as well as a few similar things. However, every time I try to run my plugin, I get the error:

java.lang.IllegalArgumentException: Missing extension point: org.jetbrains.kotlin.com.intellij.treeCopyHandler in container org.jetbrains.kotlin.com.intellij.core.CoreApplicationEnvironment$1@757c71a1
	at org.jetbrains.kotlin.com.intellij.openapi.extensions.impl.ExtensionsAreaImpl.getExtensionPoint(ExtensionsAreaImpl.java:260)

I didn't see any examples like what I'm trying to do in the

arrow-meta-examples

, so I was wondering if someone could point me in the right direction with this. I'm planning on making this an open-source project when finished, so I'd be happy to provide the full source code if someone wants to take a closer look -- but any help would be much appreciated!

https://kotlinlang.slack.com/archives/C5UPMM0A0/p1629114668062700?thread_ts=1629049630.061900&amp;cid=C5UPMM0A0 Always wanted to ask why for example Either is not implemented as a value class. Is this the reason?

Has anyone come across this problem? I’m trying to give this meta plugin a go 🙂

I have another thought @raulraja I’m wondering what

ExtensionPhase

to use to do a check when any function is called. Would it be

dotQualifiedExpression

?

Hey guys, is it okay to use arrow-meta's unionTypes? It's not very documented and I can't find examples online. What's the best way to consume then?

Wow, arrow meta is a really powerful and amazing tool! It just cannot be underestimated! If you think about monads and stuff in a mathmeatical way, most of the functions involved arise from natural transformations, which should be implemented as static functions - just like Monad.return(): (T)->Monad<T>, or Monad.multilply(): Monad<Monad<<T>>->Monad<T>. Do you think it is possible to trick the kotlin compiler with some meta-plugin to accept something like """interface { @Companion fun ... }""" to implement "static interfaces"?

Hi all. Please tell me the right direction to go... I try to create a kotlin compiler plugin which should automatically add "@kotlinx.serializable.Serializable" annotation to specific classes BEFORE the kotlinx-serialization plugin will process them. I tried it without arrow meta as pure kotlin compiler plugin using "DelegatingClassBuilder/defineClass" but it seems it's too late in the build process, because no serializers are generated for the classes by the the kotlinx plugin although the annotations are definitely present in the generated class files. So what would be the right way to do/try it using arrow-meta?

Hey all. It's been awhile since I've been able to work on my "buildable" project using arrow meta -- but I recently created a project on github for it, and started working on it again. For some reason, I can no longer get my project, which is based off of the arrow-meta-examples/generate-sources example, to work. Right now I have three modules:

generate-sources

for the actual compiler plugin,

interfaces

for the interfaces generated by the plugin, and the annotation used, and

testmod

to test out the plugin. To check if the plugin is loaded while building

testmod

, I currently have a single error message that should get called whenever running the plugin in

generate-sources

-- yet

testmod

builds successfully without showing this compiler error, so it seems like my plugin isn't getting loaded in

testmod

-- but I can't see why (I was able to get this working before, but unfortunately that was before I checked anything into git). Could someone take a look at my project and see what I'm missing? https://github.com/Sintrastes/buildable-kt

Alright, I know this isn't an arrow-meta question specifically, but I figured the folks here might be able to help: Does anyone know how to grab the package path where a class is located from a

KtClass

? Closest I've been able to get so far is

ktClass.parent

, which (assuming the

KtClass

sits at top level), I believe gives me a

PsiElement

that represents the file that the class sits in. However, even there, I can't see any way to get the package path where the class resides. I'm not seeing anything in the methods of either

KtClass

or

PsiElement

that would be helpful here. Any ideas?

Hi, I'm preparing a short presentation to highlight the features of Arrow 1.0 at my company. I have a question about refined types: are they included in the 1.0 release? What other meta-programming features are production ready in 1.0?

"We don’t recommend you use Arrow meta for compiler development until the IR backend is announced stable in 1.5.0 and we have a better idea of what compiler plugins look there. I expect 1.5.0 if it supports compiler plugins to have the corresponding IDE integration which is what currently make many compiler plugins not possible." Kicking the can down the road is the new normal.🥲

i found this in (and only in) google cache about FIR. ipfs://bafybeihiop2r3cgdvuvsz52q4lsddems6svm5rx5wqbv2ab6zz3snmthkq/

Alright, I know people have a lot of mixed feelings about "checked exceptions", but I'm curious, has anyone made/attempted to make a compiler plugin that emulates them in Kotlin? Maybe not necessarily as errors, but as warnings? I'm just thinking about circumstances in production where an unchecked call to

.first()

that should have been a

.firstOrNull()

that snuck past code review leads to an application crash. Since

.first()

is annotated

@Throws

I'd at least like to be warned of the possibility of an unhandled exception there that can either be handled, or explicitly suppressed if I can reason to myself it can never happen (Of course, then I'd ideally want to use a

NonEmptyList

🙂 -- but the desire to have a plugin like this still stands).