bind

Namespace: FsToolkit.ErrorHandling

Function Signature

('input -> CancellableValueTask<'output option>) -> CancellableValueTask<'input option> -> CancellableValueTask<'output option>

Examples

Take the following function for example

type Account =
  { EmailAddress : string
    Name : string }

// string -> CancellableValueTask<Account option>
let lookupAccountByEmail email = cancellableValueTask {
  let john = { EmailAddress = "[e-mail]"; Name = "John Johnson" }
  let jeff = { EmailAddress = "[e-mail]"; Name = "Jeff Jefferson" }
  let jack = { EmailAddress = "[e-mail]"; Name = "Jack Jackson" }
  
  let accounts = Map.ofList [
      ("[e-mail]", john)
      ("[e-mail]", jeff)
      ("[e-mail]", jack)
  ]
  
  return Map.tryFind email accounts
}

Example 1

let taskOpt : CancellableValueTask<Account option> =
    CancellableValueTaskOption.some "[e-mail]" // CancellableValueTask<string option>
    |> CancellableValueTaskOption.bind lookupAccountByEmail // CancellableValueTask<Account option>

// cancellableValueTask { Some { EmailAddress = "[e-mail]"; Name = "John Johnson" } }

Example 2

let taskOpt : CancellableValueTask<Account option> =
    CancellableValueTaskOption.some "[e-mail]" // CancellableValueTask<string option>
    |> CancellableValueTaskOption.bind lookupAccountByEmail // CancellableValueTask<Account option>

// cancellableValueTask { None }

Example 3

let taskOpt : CancellableValueTask<Account option> =
    CancellableValueTask.singleton None // CancellableValueTask<string option>
    |> CancellableValueTaskOption.bind lookupAccountByEmail // CancellableValueTask<Account option>

// cancellableValueTask { None }