pakoito
08/08/2018, 10:17 PMenrichValue
fails, the whole operation fails. Else it aggregates the successes on the right, which you map to the update of your previous value.joshua.ewer
08/13/2018, 3:50 PMsequence
come from? i see a sorta similar extfun on some of the other arrow types but not on Either
pakoito
08/13/2018, 4:24 PMpakoito
08/13/2018, 4:25 PMk()
to convert from List to ListKpakoito
08/13/2018, 4:25 PMfun <G, A, B> EitherOf<A, Kind<G, B>>.traverse(GA: Applicative<G>): Kind<G, Either<A, B>> =
traverse(GA, ::identity)
pakoito
08/13/2018, 4:25 PMjoshua.ewer
08/13/2018, 5:24 PM