Witherable
trait Witherable[t: Type -> Type] with Traversable[t], Filterable[t]SourceA trait for data structures that can be traversed in left-to-right order with an applicative partial functor.
Trait Definitions
def sequenceWither(t: t[m[Option[a]]]): m[t[a]] with Witherable[t], Applicative[m]
SourceReturns the result of running all the actions in the data structure t.
def wither(f: a -> m[Option[b]] \ ef, t: t[a]): m[t[b]] \ ef with Witherable[t], Applicative[m]
SourceReturns the result of applying the applicative partial mapping function f to all the elements of the
data structure t.