Hi all! I"m trying to use `Free` for a small test,...
# arrow
k
Hi all! I"m trying to use
Free
for a small test, and I'm basically following along this example in the tests: https://github.com/arrow-kt/arrow-incubator/blob/master/arrow-free-data/src/test/kotlin/arrow/free/FreeTest.kt My questions are these: • where does
.fix()
"come from", i.e. which import am I missing? •
'fx: MonadFx<FreePartialOf<ForProgram> /* = Kind<ForFree, ForProgram> */>' is deprecated. Fx will be moved to each datatype as a DSL constructor.
<- how to deal with this?
r
Hi Karsten, fix comes from using the @higherkind annotation in the ADT. Having said that we have plans to remove Free because the encoding is not optimal in Kotlin and we plan to bring effect polymorphism with just arrow-continuations. It's a module that has seen little use and it's not really justified.
k
I see, thank you for the explanation! I will take a look at arrow-continuations then :)
j
@raulraja And arrow-continuations is not yet available anywhere.. correct ?
r
There is no docs yet but the module is published for the latest release
j
ok, which repo is it ?