Class OneOf<T1, T2, T3, T4, T5>

Namespace

REslava.Result.AdvancedPatterns

Assembly

REslava.Result.dll

Represents a value that can be one of five possible types. A type-safe discriminated union for functional programming patterns.

public sealed class OneOf<T1, T2, T3, T4, T5> : OneOfBase<T1, T2, T3, T4, T5>, IOneOf<T1, T2, T3, T4, T5>, IEquatable<OneOf<T1, T2, T3, T4, T5>>

Type Parameters

T1

The first possible type.

T2

The second possible type.

T3

The third possible type.

T4

The fourth possible type.

T5

The fifth possible type.

Inheritance

object

OneOfBase<T1, T2, T3, T4, T5>

OneOf<T1, T2, T3, T4, T5>

Implements

IOneOf<T1, T2, T3, T4, T5>

IEquatable<OneOf<T1, T2, T3, T4, T5>>

Inherited Members

OneOfBase<T1, T2, T3, T4, T5>.IsT1

OneOfBase<T1, T2, T3, T4, T5>.IsT2

OneOfBase<T1, T2, T3, T4, T5>.IsT3

OneOfBase<T1, T2, T3, T4, T5>.IsT4

OneOfBase<T1, T2, T3, T4, T5>.IsT5

OneOfBase<T1, T2, T3, T4, T5>.AsT1

OneOfBase<T1, T2, T3, T4, T5>.AsT2

OneOfBase<T1, T2, T3, T4, T5>.AsT3

OneOfBase<T1, T2, T3, T4, T5>.AsT4

OneOfBase<T1, T2, T3, T4, T5>.AsT5

OneOfBase<T1, T2, T3, T4, T5>.Match<TResult>(Func<T1, TResult>, Func<T2, TResult>, Func<T3, TResult>, Func<T4, TResult>, Func<T5, TResult>)

OneOfBase<T1, T2, T3, T4, T5>.Switch(Action<T1>, Action<T2>, Action<T3>, Action<T4>, Action<T5>)

OneOfBase<T1, T2, T3, T4, T5>.ToString()

OneOfBase<T1, T2, T3, T4, T5>.Equals(object)

OneOfBase<T1, T2, T3, T4, T5>.GetHashCode()

object.Equals(object, object)

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Extension Methods

OneOfExtensions.ToFourWay<T1, T2, T3, T4, T5>(OneOf<T1, T2, T3, T4, T5>)

OneOfExtensions.ToFourWay<T1, T2, T3, T4, T5>(OneOf<T1, T2, T3, T4, T5>, Func<T5, T1>?, Func<T5, T2>?, Func<T5, T3>?, Func<T5, T4>?)

OneOfExtensions.ToSixWay<T1, T2, T3, T4, T5, T6>(OneOf<T1, T2, T3, T4, T5>, T6)

ValidationExtensions.EnsureNotNull<TCollection>(TCollection?, string, string?)

Examples

OneOf<SuccessData, ValidationError, NotFoundError, ConflictError, ServerError> response = await CallApi();
return response.Match(
    case1: data => ProcessData(data),
    case2: err => HandleValidation(err),
    case3: err => HandleNotFound(err),
    case4: err => HandleConflict(err),
    case5: err => HandleServerError(err)
);

Methods

BindT2<TNewT2>(Func<T2, OneOf<T1, TNewT2, T3, T4, T5>>)

Binds the T2 value if present, otherwise propagates other types.

public OneOf<T1, TNewT2, T3, T4, T5> BindT2<TNewT2>(Func<T2, OneOf<T1, TNewT2, T3, T4, T5>> binder)

Parameters

binder Func<T2, OneOf<T1, TNewT2, T3, T4, T5>>

Returns

OneOf<T1, TNewT2, T3, T4, T5>

Type Parameters

TNewT2

Exceptions

ArgumentNullException

Thrown when binder is null.

BindT3<TNewT3>(Func<T3, OneOf<T1, T2, TNewT3, T4, T5>>)

Binds the T3 value if present, otherwise propagates other types.

public OneOf<T1, T2, TNewT3, T4, T5> BindT3<TNewT3>(Func<T3, OneOf<T1, T2, TNewT3, T4, T5>> binder)

Parameters

binder Func<T3, OneOf<T1, T2, TNewT3, T4, T5>>

Returns

OneOf<T1, T2, TNewT3, T4, T5>

Type Parameters

TNewT3

Exceptions

ArgumentNullException

Thrown when binder is null.

BindT4<TNewT4>(Func<T4, OneOf<T1, T2, T3, TNewT4, T5>>)

Binds the T4 value if present, otherwise propagates other types.

public OneOf<T1, T2, T3, TNewT4, T5> BindT4<TNewT4>(Func<T4, OneOf<T1, T2, T3, TNewT4, T5>> binder)

Parameters

binder Func<T4, OneOf<T1, T2, T3, TNewT4, T5>>

Returns

OneOf<T1, T2, T3, TNewT4, T5>

Type Parameters

TNewT4

Exceptions

ArgumentNullException

Thrown when binder is null.

Equals(OneOf<T1, T2, T3, T4, T5>?)

Determines equality between two OneOf instances.

public bool Equals(OneOf<T1, T2, T3, T4, T5>? other)

Parameters

other OneOf<T1, T2, T3, T4, T5>

Returns

bool

Equals(object?)

Determines whether the specified object is equal to the current object.

public override bool Equals(object? obj)

Parameters

obj object

The object to compare with the current object.

Returns

bool

true if the specified object is equal to the current object; otherwise, false.

FromT1(T1)

Creates a OneOf containing a T1 value.

public static OneOf<T1, T2, T3, T4, T5> FromT1(T1 value)

Parameters

value T1

Returns

OneOf<T1, T2, T3, T4, T5>

FromT2(T2)

Creates a OneOf containing a T2 value.

public static OneOf<T1, T2, T3, T4, T5> FromT2(T2 value)

Parameters

value T2

Returns

OneOf<T1, T2, T3, T4, T5>

FromT3(T3)

Creates a OneOf containing a T3 value.

public static OneOf<T1, T2, T3, T4, T5> FromT3(T3 value)

Parameters

value T3

Returns

OneOf<T1, T2, T3, T4, T5>

FromT4(T4)

Creates a OneOf containing a T4 value.

public static OneOf<T1, T2, T3, T4, T5> FromT4(T4 value)

Parameters

value T4

Returns

OneOf<T1, T2, T3, T4, T5>

FromT5(T5)

Creates a OneOf containing a T5 value.

public static OneOf<T1, T2, T3, T4, T5> FromT5(T5 value)

Parameters

value T5

Returns

OneOf<T1, T2, T3, T4, T5>

GetHashCode()

Serves as the default hash function.

public override int GetHashCode()

Returns

int

A hash code for the current object.

MapT2<TNewT2>(Func<T2, TNewT2>)

Maps the T2 value if present, otherwise propagates other types.

public OneOf<T1, TNewT2, T3, T4, T5> MapT2<TNewT2>(Func<T2, TNewT2> mapper)

Parameters

mapper Func<T2, TNewT2>

Returns

OneOf<T1, TNewT2, T3, T4, T5>

Type Parameters

TNewT2

Exceptions

ArgumentNullException

Thrown when mapper is null.

MapT3<TNewT3>(Func<T3, TNewT3>)

Maps the T3 value if present, otherwise propagates other types.

public OneOf<T1, T2, TNewT3, T4, T5> MapT3<TNewT3>(Func<T3, TNewT3> mapper)

Parameters

mapper Func<T3, TNewT3>

Returns

OneOf<T1, T2, TNewT3, T4, T5>

Type Parameters

TNewT3

Exceptions

ArgumentNullException

Thrown when mapper is null.

MapT4<TNewT4>(Func<T4, TNewT4>)

Maps the T4 value if present, otherwise propagates other types.

public OneOf<T1, T2, T3, TNewT4, T5> MapT4<TNewT4>(Func<T4, TNewT4> mapper)

Parameters

mapper Func<T4, TNewT4>

Returns

OneOf<T1, T2, T3, TNewT4, T5>

Type Parameters

TNewT4

Exceptions

ArgumentNullException

Thrown when mapper is null.

Operators

operator ==(OneOf<T1, T2, T3, T4, T5>?, OneOf<T1, T2, T3, T4, T5>?)

Equality operator for OneOf instances.

public static bool operator ==(OneOf<T1, T2, T3, T4, T5>? left, OneOf<T1, T2, T3, T4, T5>? right)

Parameters

left OneOf<T1, T2, T3, T4, T5>

right OneOf<T1, T2, T3, T4, T5>

Returns

bool

implicit operator OneOf<T1, T2, T3, T4, T5>(T1)

Implicit conversion from T1.

public static implicit operator OneOf<T1, T2, T3, T4, T5>(T1 value)

Parameters

value T1

Returns

OneOf<T1, T2, T3, T4, T5>

implicit operator OneOf<T1, T2, T3, T4, T5>(T2)

Implicit conversion from T2.

public static implicit operator OneOf<T1, T2, T3, T4, T5>(T2 value)

Parameters

value T2

Returns

OneOf<T1, T2, T3, T4, T5>

implicit operator OneOf<T1, T2, T3, T4, T5>(T3)

Implicit conversion from T3.

public static implicit operator OneOf<T1, T2, T3, T4, T5>(T3 value)

Parameters

value T3

Returns

OneOf<T1, T2, T3, T4, T5>

implicit operator OneOf<T1, T2, T3, T4, T5>(T4)

Implicit conversion from T4.

public static implicit operator OneOf<T1, T2, T3, T4, T5>(T4 value)

Parameters

value T4

Returns

OneOf<T1, T2, T3, T4, T5>

implicit operator OneOf<T1, T2, T3, T4, T5>(T5)

Implicit conversion from T5.

public static implicit operator OneOf<T1, T2, T3, T4, T5>(T5 value)

Parameters

value T5

Returns

OneOf<T1, T2, T3, T4, T5>

operator !=(OneOf<T1, T2, T3, T4, T5>?, OneOf<T1, T2, T3, T4, T5>?)

Inequality operator for OneOf instances.

public static bool operator !=(OneOf<T1, T2, T3, T4, T5>? left, OneOf<T1, T2, T3, T4, T5>? right)

Parameters

left OneOf<T1, T2, T3, T4, T5>

right OneOf<T1, T2, T3, T4, T5>

Returns

bool