Jannis
12/21/2019, 12:16 PM@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)shikasd
12/28/2019, 10:49 AMcompiler-embeddable
artifact?
I just have tried to apply plugin to K/N and failing so far 😄mdepies
01/05/2020, 5:48 PMvar x = 0
. I'm using the quote template dsl to do some manipulations with the type information. Any direction?mdepies
01/06/2020, 4:06 PMemmanuel
01/08/2020, 1:45 AMmdepies
01/08/2020, 2:13 AMpardom
01/14/2020, 7:41 PMmdepies
01/16/2020, 1:25 AMmdepies
01/16/2020, 1:25 AMMarc Reichelt
01/16/2020, 9:44 PMJoachim Ansorg
01/17/2020, 11:04 AM0.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?chrmelchior
01/20/2020, 4:29 PMcompileKotlin
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.chrmelchior
01/20/2020, 10:39 PMThe 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?matiaslev
01/22/2020, 7:18 PMe: /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?matiaslev
01/25/2020, 7:26 PMstojan
01/29/2020, 6:10 PMtschuchort
01/29/2020, 9:35 PMstojan
02/02/2020, 3:49 PM@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 ☝️dnowak
02/03/2020, 9:35 AMIO<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-retryJoachim Ansorg
02/08/2020, 9:43 AMmelatonina
02/09/2020, 1:03 PMe: 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?trathschlag
02/11/2020, 12:33 PM@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!shikasd
02/14/2020, 1:25 AMredrield
02/15/2020, 12:44 AMredrield
02/16/2020, 7:35 PMredrield
02/16/2020, 8:07 PMAhmed Mourad
03/06/2020, 8:01 PMIvann Ruiz
03/08/2020, 4:33 PMEugeniu Olog
03/18/2020, 10:51 AMshadowJar
and I can't make it work with Android. Do you have any suggestion or example? Thank youspierce7
03/25/2020, 4:15 AMspierce7
03/25/2020, 4:15 AMraulraja
03/25/2020, 8:56 AMspierce7
03/25/2020, 1:35 PMTransform.replace
, generate a new class, and generate new files, and not require an IDE plugin?
Some other questions:
1. All jvm platforms support IR in 1.4 right, so by using arrow, I can make a plugin that impacts all platforms in 1.4?
2. How does incremental compilation work? I wouldn’t want to generate a new file and have that new file compile for every compilation.tschuchort
03/25/2020, 7:37 PMspierce7
03/26/2020, 5:04 PMraulraja
03/26/2020, 5:06 PMspierce7
03/26/2020, 5:13 PM