Namespace: FsToolkit.ErrorHandling
FsToolkit.ErrorHandling
Function Signature:
('a -> Task<Result<'b,'c>>) -> 'a list -> Task<Result<'b list, 'c>>
Note that traverse is the same as map >> sequence. See also List.sequenceTaskResultM.
traverse
map >> sequence
This is monadic, stopping on the first error.
This is the same as traverseResultM except that it uses Task<Result<_,_>> instead of Result<_,_>.
Task<Result<_,_>>
Result<_,_>
See also Scott Wlaschin's Understanding traverse and sequencearrow-up-right.
Last updated 4 years ago