# Other Functions

### Other Useful Functions

#### requireTrue

Returns the specified error if the task-wrapped value is `false`.

```fsharp
'a -> Task<bool> -> Task<Result<unit, 'a>>`
```

#### requireFalse

Returns the specified error if the task-wrapped value is `true`.

```fsharp
'a -> Task<bool> -> Task<Result<unit, 'a>>`
```

#### requireSome

Converts an task-wrapped Option to a Result, using the given error if None.

```fsharp
'a -> Task<'b option> -> Task<Result<'b, 'a>>`
```

#### requireSomeWith

Converts an task-wrapped Option to a Result, using the given error factory if None. The error factory is only called when the value is `None`.

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

#### requireNone

Converts an task-wrapped Option to a Result, using the given error if Some.

```fsharp
'a -> Task<'b option> -> Task<Result<unit, 'a>>`
```

#### requireNoneWith

Converts an task-wrapped Option to a Result, using the given error factory if Some. The error factory is only called when the value is `Some`.

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

#### requireValueSome

Converts an task-wrapped ValueOption to a Result, using the given error if ValueNone.

```fsharp
'a -> Task<'b voption> -> Task<Result<'b, 'a>>
```

#### requireValueNone

Converts an task-wrapped ValueOption to a Result, using the given error if ValueSome.

```fsharp
'a -> Task<'b voption> -> Task<Result<unit, 'a>>
```

#### requireEqual

Returns Ok if the task-wrapped value and the provided value are equal, or the specified error if not. Same as `requireEqualTo`, but with a parameter order that fits normal function application better than piping.

```fsharp
'a -> Task<'a> -> 'b -> Task<Result<unit, 'b>>
```

#### requireEqualTo

Returns Ok if the task-wrapped value and the provided value are equal, or the specified error if not. Same as `requireEqual`, but with a parameter order that fits piping better than normal function application.

```fsharp
'a -> 'b -> Task<'a> -> Task<Result<unit, 'b>>
```

#### requireEmpty

Returns Ok if the task-wrapped sequence is empty, or the specified error if not.

```fsharp
'a -> Task<'b> -> Task<Result<unit, 'a>>
```

#### requireNotEmpty

Returns Ok if the task-wrapped sequence is non-empty, or the specified error if not.

```fsharp
'a -> Task<'b> -> Task<Result<unit, 'a>>
```

#### requireHead

Returns the first item of the sequence if it exists, or the specified error if the sequence is empty

```fsharp
'a -> Task<'b> -> Task<Result<'c, 'a>>
```

#### require

Returns the provided task-wrapped result if it is Ok and the predicate is true, or if the task-wrapped result is Error. If the predicate is false, returns a new task-wrapped Error result with the error value.

```fsharp
('a -> bool) -> 'b -> Task<Result<'a,'b>> -> Task<Result<'a,'b>>
```

#### setError

Replaces an error value of an task-wrapped result with a custom error value

```fsharp
'a -> Task<Result<'b, 'c>> -> Task<Result<'b, 'a>>
```

#### withError

Replaces a unit error value of an task-wrapped result with a custom error value. Safer than `setError` since you're not losing any information.

```fsharp
'a -> Task<Result<'b, unit>> -> Task<Result<'b, 'a>>
```

#### defaultValue

Extracts the contained value of an task-wrapped result if Ok, otherwise uses the provided value.

```fsharp
'a -> Task<Result<'a, 'b>> -> Task<'a>
```

#### defaultWith

Extracts the contained value of an task-wrapped result if Ok, otherwise evaluates the given function and uses the result.

```fsharp
(unit -> 'a) -> Task<Result<'a, 'b>> -> Task<'a>
```

#### ignoreError

Same as `defaultValue` for a result where the Ok value is unit. The name describes better what is actually happening in this case.

```fsharp
Task<Result<unit, 'a>> -> Task<unit>
```

#### tee

If the task-wrapped result is Ok, executes the function on the Ok value. Passes through the input value unchanged.

```fsharp
('a -> unit) -> Task<Result<'a, 'b>> -> Task<Result<'a, 'b>>
```

#### teeError

If the task-wrapped result is Error, executes the function on the Error value. Passes through the input value unchanged.

```fsharp
('a -> unit) -> Task<Result<'b, 'a>> -> Task<Result<'b, 'a>>
```

#### teeIf

If the task-wrapped result is Ok and the predicate returns true for the wrapped value, executes the function on the Ok value. Passes through the input value unchanged.

```fsharp
('a -> bool) -> ('a -> unit) -> Task<Result<'a, 'b>> -> Task<Result<'a, 'b>>
```

#### teeErrorIf

If the task-wrapped result is Error and the predicate returns true for the wrapped value, executes the function on the Error value. Passes through the input value unchanged.

```fsharp
('a -> bool) -> ('a -> unit) -> Task<Result<'b, 'a>> -> Task<Result<'b, 'a>>
```

#### sequenceTask

Converts a `Result<Task<'a>, 'b>` to `Task<Result<'a, 'b>>`.

```fsharp
Result<Task<'a>, 'b> -> Task<Result<'a, 'b>>
```

#### defaultError

Extracts the contained error value of a task-wrapped result if `Error`, otherwise uses the provided value.

```fsharp
'error -> Task<Result<'ok, 'error>> -> Task<'error>
```

***

### bindRequire Functions

The `bindRequire*` functions combine a `bind` and a `require` check in one step. They bind the inner `Ok` value through a function, then assert a condition on the result, returning `Error` with the given error value if the condition is not met.

#### bindRequireSome

Binds the task result and requires the inner `Ok` value to be `Some`, returning `Error` with the given error if it is `None`.

```fsharp
'error -> Task<Result<'ok option, 'error>> -> Task<Result<'ok, 'error>>
```

#### bindRequireNone

Binds the task result and requires the inner `Ok` value to be `None`, returning `Error` with the given error if it is `Some`.

```fsharp
'error -> Task<Result<'ok option, 'error>> -> Task<Result<unit, 'error>>
```

#### bindRequireValueSome

Binds the task result and requires the inner `Ok` value to be `ValueSome`, returning `Error` with the given error if it is `ValueNone`.

```fsharp
'error -> Task<Result<'ok voption, 'error>> -> Task<Result<'ok, 'error>>
```

#### bindRequireValueNone

Binds the task result and requires the inner `Ok` value to be `ValueNone`, returning `Error` with the given error if it is `ValueSome`.

```fsharp
'error -> Task<Result<'ok voption, 'error>> -> Task<Result<unit, 'error>>
```

#### bindRequireTrue

Binds the task result and requires the inner `Ok` value to be `true`, returning `Error` with the given error if it is `false`.

```fsharp
'error -> Task<Result<bool, 'error>> -> Task<Result<unit, 'error>>
```

#### bindRequireFalse

Binds the task result and requires the inner `Ok` value to be `false`, returning `Error` with the given error if it is `true`.

```fsharp
'error -> Task<Result<bool, 'error>> -> Task<Result<unit, 'error>>
```

#### bindRequireNotNull

Binds the task result and requires the inner `Ok` value to be non-null, returning `Error` with the given error if it is `null`.

```fsharp
'error -> Task<Result<'ok, 'error>> -> Task<Result<'ok, 'error>>
```

#### bindRequireEqual

Binds the task result and requires the inner `Ok` value to equal the provided value, returning `Error` with the given error if they differ.

```fsharp
'ok -> 'error -> Task<Result<'ok, 'error>> -> Task<Result<unit, 'error>>
```

#### bindRequireEmpty

Binds the task result and requires the inner `Ok` sequence to be empty, returning `Error` with the given error if it is not.

```fsharp
'error -> Task<Result<#seq<'ok>, 'error>> -> Task<Result<unit, 'error>>
```

#### bindRequireNotEmpty

Binds the task result and requires the inner `Ok` sequence to be non-empty, returning `Error` with the given error if it is empty.

```fsharp
'error -> Task<Result<#seq<'ok>, 'error>> -> Task<Result<unit, 'error>>
```

#### bindRequireHead

Binds the task result and returns the first element of the inner `Ok` sequence, returning `Error` with the given error if the sequence is empty.

```fsharp
'error -> Task<Result<#seq<'ok>, 'error>> -> Task<Result<'ok, 'error>>
```