Raúl Raja Martínez
Raúl Raja Martínez
DO NOT MERGE. This is a sample proof of concept refactoring the app to use a monad transformer stack pushing Kotlin as much as it can go with FP and...
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...
Initial draft and exploration of type refinements with type proofs
Synthetic resolution based on computeCache only happens when the files are compiled and in .class form in the local module output. https://github.com/arrow-kt/arrow-meta/blob/cee5d0eebe12f89fdc414eb7490150f1135df5c2/idea-plugin/src/main/kotlin/arrow/meta/ide/phases/resolve/MetaSyntheticPackageFragmentProvider.kt#L182 This is inconvenient because users get redlines and...
With compiler plugins is very likely we can implement full-blown type classes including resolution and automatic derivation. Type class derivation - By default look first for user declared extensions following...
Currently, quote transformations are limited to `Transform.replace` which replaces a returned node by a list of declarations. There is an additional set of operations that we would like transformation to...
Add the Traversable Functors API to scope and it's elements. This will allow us to fold and transform scopes in templates with a known API.
The original version of the purity plugin checks when a function returns Unit or contains calls in its body to other functions that it return Unit. This plugin should show...
```diff -`@annotationEntries` +`@annotations` ``` ```diff -`(valueParameters)` +`(params)` ``` ```diff -`(typeArguments)` +`(typeArgs)` ```
With type classes and the use of KEEP-87 arrow-kt/arrow-meta-prototype#2 with compiler plugins, it should be possible to: - Derive an HList representation for all data classes - Derive a Coproduct...