> For the complete documentation index, see [llms.txt](https://demystifyfp.gitbook.io/fstoolkit-errorhandling/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://demystifyfp.gitbook.io/fstoolkit-errorhandling/fstoolkit.errorhandling/option/traversetask.md).

# traverseTask

### Option.traverseTask

Namespace: `FsToolkit.ErrorHandling`

Function Signature:

```fsharp
('a -> Task<'b>) -> 'a option -> Task<'b option>
```

Note that `traverse` is the same as `map >> sequence`. See also [Option.sequenceTask](/fstoolkit-errorhandling/fstoolkit.errorhandling/option/sequencetask.md).

See also Scott Wlaschin's [Understanding traverse and sequence](https://fsharpforfunandprofit.com/posts/elevated-world-4/).

### Examples

#### Example 1

Let's assume we have a type `Customer`:

```fsharp
type Customer = {
  Id : int
  Email : string
}
```

And we have a function called `getCustomerByEmail` that retrieves a `Customer` by email address asynchronously from some external source -- a database, a web service, etc:

```fsharp
// string -> Task<Customer>
let getCustomerByEmail email : Task<Customer> = task {
    return { Id = 1; Email = "test@test.com" } // return a constant for simplicity
}
```

If we have a value of type `string option` and want to call the `getCustomerByEmail` function, we can achieve it using the `traverseTask` function as below:

```fsharp
Some "test@test.com" |> Option.traverseTask getCustomerByEmail
// task { return Some { Id = 1; Email = "test@test.com" } }

None |> Option.traverseTask getCustomerByEmail
// task { return None }
```