https://kotlinlang.org logo
Channels
Powered by
#arrow-contributors
  • s

    sam

    03/20/2019, 9:27 PM
    Goes over my head a bit (a lot)
  • s

    sam

    03/20/2019, 9:28 PM
    What can I replace GenOf with, temporarily, just to get my build green.
  • s

    sam

    03/20/2019, 9:28 PM
    I'll add in the little bit of boilerplate manually for now
  • r

    raulraja

    03/20/2019, 9:30 PM
    Getting started with Arrow Fx https://arrow-kt.io/docs/effects/fx/ it's actually pretty simple. That is a hello world.
  • s

    sam

    03/20/2019, 9:32 PM
    // fun ListKOf<A>.fix() = this as ListK<A>
  • s

    sam

    03/20/2019, 9:32 PM
    does that need to be fun <A> ListKOf.fix() = this as ListK<A>
  • s

    sam

    03/20/2019, 9:33 PM
    no ignore me
  • s

    sam

    03/20/2019, 9:33 PM
    Why is it giving me an unresolved reference
  • r

    raulraja

    03/20/2019, 9:33 PM
    yeah sorry is missing the type arg 
    A
  • s

    sam

    03/20/2019, 9:33 PM
    ok
  • s

    sam

    03/20/2019, 9:33 PM
    sorted
  • s

    sam

    03/20/2019, 9:34 PM
    Copy code
    class ForGen private constructor() { companion object }
typealias GenOf<A> = Kind<ForGen, A>
fun <A> GenOf<A>.fix() = this as Gen<A>
    👏 1
  • s

    sam

    03/20/2019, 9:40 PM
    can I comment this out for now ?
  • s

    sam

    03/20/2019, 9:40 PM
    Copy code
    @extension
interface GenFx : Fx<ForGen> {
  override fun monad(): Monad<ForGen> = Gen.monad()
}
  • r

    raulraja

    03/20/2019, 9:44 PM
    if you comment out extension then maybe it would help usage to add:
    Copy code
    fun Gen.Companion.fx(): Fx<ForGen> = object : GenFx { }
  • r

    raulraja

    03/20/2019, 9:45 PM
    and in that case you need it because monad is also looked up from the Gen companion extensions that 
    @extension
    would have generated otherwise in the same package
  • r

    raulraja

    03/20/2019, 10:06 PM
  • r

    raulraja

    03/20/2019, 10:07 PM
    from the kapt channel 😞
  • j

    Jannis

    03/20/2019, 10:08 PM
    I think the only choice atm for mpp annotation processing is to do what kotlin-serialization does and that is provide a custom compiler plugin. But tbh that sucks 😕
  • r

    raulraja

    03/20/2019, 10:09 PM
    can we get type element info and all that with that?
  • r

    raulraja

    03/20/2019, 10:09 PM
    TypeElement is a java api
  • j

    Jannis

    03/20/2019, 10:11 PM
    Kotlin reflection as far as I explored it does not really go that for, but the code that processes the annotations does not need to be mpp right? It'll just be a gradle plugin of some sort. I don't really know how compiler plugins work so not sure 😕
  • r

    raulraja

    03/20/2019, 10:13 PM
    I don;t get why kapt can't run just over code and let us emit whatever we want that then is compiled cross platform
  • j

    Jannis

    03/20/2019, 10:16 PM
    https://github.com/Kotlin/KEEP/blob/serialization/proposals/extensions/serialization.md#code-generation So yeah they are definitly providing their own compiler plugin... To me this seems flawed, providing no annotation processing api in general but implementing it in seperate plugins, weird.
  • s

    sam

    03/20/2019, 10:35 PM
    I think for kotlintest's case do I really need the kapt stuff? I mean I can add the boilerplate as a one off cost ?
  • s

    sam

    03/20/2019, 10:35 PM
    Yes, but I want 
    Gen
    to be used by JS as well, and @extension is on some of the gen stuff
  • r

    raulraja

    03/20/2019, 10:37 PM
    ok, then it's not gonna work
  • r

    raulraja

    03/20/2019, 10:37 PM
    we'll wrap Gen as a newtype in Arrow and provide the machinery for the type classes there
  • r

    raulraja

    03/20/2019, 10:38 PM
    because AFAIK if arrow-core is currently just compiled for the JVM it does not exist as a JS dep right?
  • r

    raulraja

    03/20/2019, 10:38 PM
    and Kind which is needed for GenOf is in arrow-annotations which is also JVM only afaik
1...858687...115Latest