Because `List.map` from the kotlin stdlib is an inline function and thus allows suspend functions in...

# arrow

[Jannis]

Because List.map from the kotlin stdlib is an inline function and thus allows suspend functions inside of it if the scope from which it is called allows it. Option.map and pretty much all other arrow functions are not inline and thus don't allow it. Not entirely sure what the design decision is, but that is the reason this does not work ^^

[Gopal S Akshintala]

Thanks @Jannis, how can I get around this in an idiomatic way?

[Jannis]

traverse ^^ It's always the answer 😅
Something like getListOfStrings().traverse(M) { getIsSomethingTrueInHigherKind(it).map { booleanInput(it) } } should work for both option and list

[Gopal S Akshintala]

I hope M should be replaced by something like Option.monad(), right?

[Jannis]

Depends, M is the applicative instance from whatever getIsSomethingTrueInHigherKind returns. traverse has the signature fun <F, G, A, B> Kind<F, A>.traverse(AP: Applicative<G>, f: (A) -> Kind<G, B>): Kind<G, Kind<F, B>> which is usually easier to understand as a generalization of fun <F, G, A> Kind<F, Kind<G, A>>.sequence(AP: Applicative<G>): Kind<G, Kind<F, A>>. @Imran/Malic has written a very good doc entry for the Traverse typeclass, I'd highly recommend reading it

[Jannis]

https://next.arrow-kt.io/docs/apidocs/arrow-core-data/arrow.typeclasses/-traverse/

[Gopal S Akshintala]

Thanks @Jannis 🙂

[Gopal S Akshintala]

for now I tried this, not working:

private fun optionMapper() = fx.monad {
        getOptionString().traverse(Option.monad()) { booleanInput(!getIsSomethingTrueInHigherKind(it)).toOption() }
    }

[Gopal S Akshintala]

will read and try to correct

[Jannis]

Yes, that Option.monad looks wrong

[Jannis]

also the ! is not needed

[Gopal S Akshintala]

btw my `

getIsSomethingTrueInHigherKind

returns a Kind<F, Boolean>

[Jannis]

private fun optionMapper() = getOptionString().traverse(this /* refering to the monad instance from the class */) { getIsSomethingTrueInHigherKind(it).map { booleanInput(it) } } should actually work

[Gopal S Akshintala]

Awesome! thanks alot 🙂

[Jannis]

traverse is like a super power, threading applicative effects through any structure is a very useful concept to know and understand. Not in it's abstract ways, although that helps as well, but simply knowing it exists and how to use it helps a ton ^^