Michael Marth
07/14/2020, 8:44 AMList<Option<A>>
into a Option<List<A>>
? So if any if the `Option`s in the original List is None
, the whole return type should be None
.Patrick Louis
07/14/2020, 8:52 AMList<Option<A>>.sequence(Option.applicative())
will return a Option<List<A>>
or rather Kind<ForOption,Kind<ForListK,A>>
so you'll have to fix()
output.Michael Marth
07/14/2020, 8:53 AMsequence
!
Thanks! Could not remember from my Haskell days ...