arrow-meta
arrow-meta copied to clipboard
arrow-kt
Functional companion to Kotlin's Compiler
Here is an outline of the different features the compiler currently offers versus the list of features we'd like to implement on the IDEA side (UI). We need to segment...
**Describe the bug** When using `@Given` annotations with the arrow proofs compiler plugin, and using an `@Given` context that references certain classes in a different package from where the `@Given`...
**Describe the bug** When using the latest snapshot of the proofs plugin (2.0.0-SNAPSHOT) and using it to test out a generic numeric function with given instances for `Int` and `Double`...
I tested the code in Arrow-meta CliPlugin. but it does not work. when I build in use-plugin ,the error is :NewMultipleSource.kt: (3, 2): Unresolved reference: arrow val Meta.transformNewSources: CliPlugin get()...
**Describe the bug** The `arrow-meta-1.0.0.'jar` file is missing many classes that can be found in the 1.5.0-SNAPSHOT version from `https://oss.sonatype.org/content/repositories/snapshots/`. **To Reproduce** Steps to reproduce the behavior: 1. Clone https://github.com/arrow-kt/arrow-meta-examples...
A `CliPlugin` targeting constructor parameters of data classes fails to apply any transformation on such parameters. Such transformations include equivalent transformations too. A use-case for such functionality is adding an...
I have attempted to use Arrow Meta in a Kotlin Multiplatform project but have run into problems on almost all targets besides JVM. I will not rule out I am...
**Describe the bug** I'm writing a small bazel rule to run the kotlin compiler on some targets and I was trying to get the compiler command down to get the...
What I mean is: I'm OK with frequent breaking changes but I wouldn't like to use union types and then have a weird compiler plugin error that would be impossible...
