Class ResultTErrorEnsureExtensions

Namespace

REslava.Result.Extensions

Assembly

REslava.Result.dll

Ensure and EnsureAsync overloads for Result<TValue, TError> typed pipelines. Each overload widens the error union by one slot when the predicate fails — same growth pattern as Bind:

• Overload 1 — first guard on a single-error result: Result<T,T1> + T2 → Result<T, ErrorsOf<T1,T2>>
• Overloads 2–7 — grow an existing ErrorsOf union by one slot per guard.

public static class ResultTErrorEnsureExtensions

Inheritance

object

ResultTErrorEnsureExtensions

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Methods

EnsureAsync<TValue, T1, T2>(Result<TValue, T1>, Func<TValue, Task<bool>>, T2)

Async variant of Ensure<TValue, T1, T2>(Result<TValue, T1>, Func<TValue, bool>, T2). The predicate is awaited; the result itself is evaluated synchronously.

public static Task<Result<TValue, ErrorsOf<T1, T2>>> EnsureAsync<TValue, T1, T2>(this Result<TValue, T1> result, Func<TValue, Task<bool>> predicate, T2 error) where T1 : IError where T2 : IError

Parameters

result Result<TValue, T1>

predicate Func<TValue, Task<bool>>

error T2

Returns

Task<Result<TValue, ErrorsOf<T1, T2>>>

Type Parameters

TValue

T1

T2

EnsureAsync<TValue, T1, T2, T3>(Result<TValue, ErrorsOf<T1, T2>>, Func<TValue, Task<bool>>, T3)

Async variant that grows a 2-slot error union by one slot.

public static Task<Result<TValue, ErrorsOf<T1, T2, T3>>> EnsureAsync<TValue, T1, T2, T3>(this Result<TValue, ErrorsOf<T1, T2>> result, Func<TValue, Task<bool>> predicate, T3 error) where T1 : IError where T2 : IError where T3 : IError

Parameters

result Result<TValue, ErrorsOf<T1, T2>>

predicate Func<TValue, Task<bool>>

error T3

Returns

Task<Result<TValue, ErrorsOf<T1, T2, T3>>>

Type Parameters

TValue

T1

T2

T3

EnsureAsync<TValue, T1, T2, T3, T4>(Result<TValue, ErrorsOf<T1, T2, T3>>, Func<TValue, Task<bool>>, T4)

Async variant that grows a 3-slot error union by one slot.

public static Task<Result<TValue, ErrorsOf<T1, T2, T3, T4>>> EnsureAsync<TValue, T1, T2, T3, T4>(this Result<TValue, ErrorsOf<T1, T2, T3>> result, Func<TValue, Task<bool>> predicate, T4 error) where T1 : IError where T2 : IError where T3 : IError where T4 : IError

Parameters

result Result<TValue, ErrorsOf<T1, T2, T3>>

predicate Func<TValue, Task<bool>>

error T4

Returns

Task<Result<TValue, ErrorsOf<T1, T2, T3, T4>>>

Type Parameters

TValue

T1

T2

T3

T4

EnsureAsync<TValue, T1, T2, T3, T4, T5>(Result<TValue, ErrorsOf<T1, T2, T3, T4>>, Func<TValue, Task<bool>>, T5)

Async variant that grows a 4-slot error union by one slot.

public static Task<Result<TValue, ErrorsOf<T1, T2, T3, T4, T5>>> EnsureAsync<TValue, T1, T2, T3, T4, T5>(this Result<TValue, ErrorsOf<T1, T2, T3, T4>> result, Func<TValue, Task<bool>> predicate, T5 error) where T1 : IError where T2 : IError where T3 : IError where T4 : IError where T5 : IError

Parameters

result Result<TValue, ErrorsOf<T1, T2, T3, T4>>

predicate Func<TValue, Task<bool>>

error T5

Returns

Task<Result<TValue, ErrorsOf<T1, T2, T3, T4, T5>>>

Type Parameters

TValue

T1

T2

T3

T4

T5

EnsureAsync<TValue, T1, T2, T3, T4, T5, T6>(Result<TValue, ErrorsOf<T1, T2, T3, T4, T5>>, Func<TValue, Task<bool>>, T6)

Async variant that grows a 5-slot error union by one slot.

public static Task<Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6>>> EnsureAsync<TValue, T1, T2, T3, T4, T5, T6>(this Result<TValue, ErrorsOf<T1, T2, T3, T4, T5>> result, Func<TValue, Task<bool>> predicate, T6 error) where T1 : IError where T2 : IError where T3 : IError where T4 : IError where T5 : IError where T6 : IError

Parameters

result Result<TValue, ErrorsOf<T1, T2, T3, T4, T5>>

predicate Func<TValue, Task<bool>>

error T6

Returns

Task<Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6>>>

Type Parameters

TValue

T1

T2

T3

T4

T5

T6

EnsureAsync<TValue, T1, T2, T3, T4, T5, T6, T7>(Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6>>, Func<TValue, Task<bool>>, T7)

Async variant that grows a 6-slot error union by one slot.

public static Task<Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6, T7>>> EnsureAsync<TValue, T1, T2, T3, T4, T5, T6, T7>(this Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6>> result, Func<TValue, Task<bool>> predicate, T7 error) where T1 : IError where T2 : IError where T3 : IError where T4 : IError where T5 : IError where T6 : IError where T7 : IError

Parameters

result Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6>>

predicate Func<TValue, Task<bool>>

error T7

Returns

Task<Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6, T7>>>

Type Parameters

TValue

T1

T2

T3

T4

T5

T6

T7

EnsureAsync<TValue, T1, T2, T3, T4, T5, T6, T7, T8>(Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6, T7>>, Func<TValue, Task<bool>>, T8)

Async variant that grows a 7-slot error union by one slot — maximum union size (T8).

public static Task<Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6, T7, T8>>> EnsureAsync<TValue, T1, T2, T3, T4, T5, T6, T7, T8>(this Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6, T7>> result, Func<TValue, Task<bool>> predicate, T8 error) where T1 : IError where T2 : IError where T3 : IError where T4 : IError where T5 : IError where T6 : IError where T7 : IError where T8 : IError

Parameters

result Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6, T7>>

predicate Func<TValue, Task<bool>>

error T8

Returns

Task<Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6, T7, T8>>>

Type Parameters

TValue

T1

T2

T3

T4

T5

T6

T7

T8

Ensure<TValue, T1, T2>(Result<TValue, T1>, Func<TValue, bool>, T2)

Adds a guard to a single-error result, widening to a 2-slot error union when the guard fails. Use this as the first Ensure in a typed pipeline.

public static Result<TValue, ErrorsOf<T1, T2>> Ensure<TValue, T1, T2>(this Result<TValue, T1> result, Func<TValue, bool> predicate, T2 error) where T1 : IError where T2 : IError

Parameters

result Result<TValue, T1>

predicate Func<TValue, bool>

error T2

Returns

Result<TValue, ErrorsOf<T1, T2>>

Type Parameters

TValue

T1

T2

Examples

Result<Order, ValidationError> result = Validate(req);

// Guard: widen to ErrorsOf<ValidationError, CreditLimitError>
result.Ensure(o => o.Amount > 0, new CreditLimitError("Credit limit exceeded"));

Ensure<TValue, T1, T2, T3>(Result<TValue, ErrorsOf<T1, T2>>, Func<TValue, bool>, T3)

Grows a 2-slot error union by one slot when the guard fails.

public static Result<TValue, ErrorsOf<T1, T2, T3>> Ensure<TValue, T1, T2, T3>(this Result<TValue, ErrorsOf<T1, T2>> result, Func<TValue, bool> predicate, T3 error) where T1 : IError where T2 : IError where T3 : IError

Parameters

result Result<TValue, ErrorsOf<T1, T2>>

predicate Func<TValue, bool>

error T3

Returns

Result<TValue, ErrorsOf<T1, T2, T3>>

Type Parameters

TValue

T1

T2

T3

Ensure<TValue, T1, T2, T3, T4>(Result<TValue, ErrorsOf<T1, T2, T3>>, Func<TValue, bool>, T4)

Grows a 3-slot error union by one slot when the guard fails.

public static Result<TValue, ErrorsOf<T1, T2, T3, T4>> Ensure<TValue, T1, T2, T3, T4>(this Result<TValue, ErrorsOf<T1, T2, T3>> result, Func<TValue, bool> predicate, T4 error) where T1 : IError where T2 : IError where T3 : IError where T4 : IError

Parameters

result Result<TValue, ErrorsOf<T1, T2, T3>>

predicate Func<TValue, bool>

error T4

Returns

Result<TValue, ErrorsOf<T1, T2, T3, T4>>

Type Parameters

TValue

T1

T2

T3

T4

Ensure<TValue, T1, T2, T3, T4, T5>(Result<TValue, ErrorsOf<T1, T2, T3, T4>>, Func<TValue, bool>, T5)

Grows a 4-slot error union by one slot when the guard fails.

public static Result<TValue, ErrorsOf<T1, T2, T3, T4, T5>> Ensure<TValue, T1, T2, T3, T4, T5>(this Result<TValue, ErrorsOf<T1, T2, T3, T4>> result, Func<TValue, bool> predicate, T5 error) where T1 : IError where T2 : IError where T3 : IError where T4 : IError where T5 : IError

Parameters

result Result<TValue, ErrorsOf<T1, T2, T3, T4>>

predicate Func<TValue, bool>

error T5

Returns

Result<TValue, ErrorsOf<T1, T2, T3, T4, T5>>

Type Parameters

TValue

T1

T2

T3

T4

T5

Ensure<TValue, T1, T2, T3, T4, T5, T6>(Result<TValue, ErrorsOf<T1, T2, T3, T4, T5>>, Func<TValue, bool>, T6)

Grows a 5-slot error union by one slot when the guard fails.

public static Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6>> Ensure<TValue, T1, T2, T3, T4, T5, T6>(this Result<TValue, ErrorsOf<T1, T2, T3, T4, T5>> result, Func<TValue, bool> predicate, T6 error) where T1 : IError where T2 : IError where T3 : IError where T4 : IError where T5 : IError where T6 : IError

Parameters

result Result<TValue, ErrorsOf<T1, T2, T3, T4, T5>>

predicate Func<TValue, bool>

error T6

Returns

Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6>>

Type Parameters

TValue

T1

T2

T3

T4

T5

T6

Ensure<TValue, T1, T2, T3, T4, T5, T6, T7>(Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6>>, Func<TValue, bool>, T7)

Grows a 6-slot error union by one slot when the guard fails.

public static Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6, T7>> Ensure<TValue, T1, T2, T3, T4, T5, T6, T7>(this Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6>> result, Func<TValue, bool> predicate, T7 error) where T1 : IError where T2 : IError where T3 : IError where T4 : IError where T5 : IError where T6 : IError where T7 : IError

Parameters

result Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6>>

predicate Func<TValue, bool>

error T7

Returns

Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6, T7>>

Type Parameters

TValue

T1

T2

T3

T4

T5

T6

T7

Ensure<TValue, T1, T2, T3, T4, T5, T6, T7, T8>(Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6, T7>>, Func<TValue, bool>, T8)

Grows a 7-slot error union by one slot when the guard fails — maximum union size (T8).

public static Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6, T7, T8>> Ensure<TValue, T1, T2, T3, T4, T5, T6, T7, T8>(this Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6, T7>> result, Func<TValue, bool> predicate, T8 error) where T1 : IError where T2 : IError where T3 : IError where T4 : IError where T5 : IError where T6 : IError where T7 : IError where T8 : IError

Parameters

result Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6, T7>>

predicate Func<TValue, bool>

error T8

Returns

Result<TValue, ErrorsOf<T1, T2, T3, T4, T5, T6, T7, T8>>

Type Parameters

TValue

T1

T2

T3

T4

T5

T6

T7

T8