awesome, I now have a little library that lets me ...

# arrow

[Bob Glamm]

awesome, I now have a little library that lets me express database transactions under fully polymorphic effects as follows:

fun <A> service(): Kind<F, A> = transaction {
    val (r1) = query(QUERY1, query1Mapper)
    val (r2) = query(QUERY2, query2Mapper)
    combine(r1, r2)
}

Now to add things like better update/insert support and eliminate some ugly refs to fx.monadThrow within the mappers. Could not have done this without your help. Thanks!

[simon.vergauwen]

That’s is awesome!

[raulraja]

is this library of yours open source?, would love to check it out

[Bob Glamm]

I do plan on putting it out on github. I'd like to add a little more functionality first

[Bob Glamm]

maybe add some tests and verify that my syntax works as expected in all cases