Namespace REslava.Result.AdvancedPatterns

Classes

ErrorsOf<T1, T2>

A type-safe error union of two possible error types. Inherits shared dispatch from OneOfBase<T1, T2> and implements IError by delegating Message and Tags to the active case.

ErrorsOf<T1, T2, T3>

A type-safe error union of three possible error types.

ErrorsOf<T1, T2, T3, T4>

A type-safe error union of four possible error types.

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

A type-safe error union of five possible error types.

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

A type-safe error union of six possible error types.

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

A type-safe error union of seven possible error types.

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

A type-safe error union of eight possible error types.

MaybeResultInterop

Bidirectional bridge between Maybe<T> and Result<TValue>.

OneOfBase<T1, T2>

Shared dispatch base for discriminated unions of two types. Inherited by OneOf<T1, T2> and ErrorsOf<T1, T2>.

OneOfBase<T1, T2, T3>

Shared dispatch base for discriminated unions of three types.

OneOfBase<T1, T2, T3, T4>

Shared dispatch base for discriminated unions of four types.

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

Shared dispatch base for discriminated unions of five types.

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

Shared dispatch base for discriminated unions of six types.

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

Shared dispatch base for discriminated unions of seven types.

OneOfBase<T1, T2, T3, T4, T5, T6, T7, T8>

Shared dispatch base for discriminated unions of eight types.

OneOfExtensions

Extension methods for OneOf types, providing conversion between 2-way through 6-way OneOf instances.

OneOfResultIntegrationExtensions

Pipeline integration extensions for seamless OneOf and Result interoperability. Enables mixed workflows where both patterns can work together naturally.

OneOf<T1, T2>

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

OneOf<T1, T2, T3>

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

OneOf<T1, T2, T3, T4>

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

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

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

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

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

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

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

OneOf<T1, T2, T3, T4, T5, T6, T7, T8>

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

ResultOneOfExtensions

Essential conversion methods between Result<T> and OneOf<T1, T2>. Focused on the most common use cases with explicit, clear conversions.

Structs

Maybe<T>

Represents an optional value that may or may not exist. A functional programming alternative to null references.

Interfaces

IOneOf<T1, T2>

Marker interface for a discriminated union of two possible types. Implemented by both OneOf<T1, T2> (value union) and ErrorsOf<T1, T2> (error union).

IOneOf<T1, T2, T3>

Marker interface for a discriminated union of three possible types.

IOneOf<T1, T2, T3, T4>

Marker interface for a discriminated union of four possible types.

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

Marker interface for a discriminated union of five possible types.

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

Marker interface for a discriminated union of six possible types.

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

Marker interface for a discriminated union of seven possible types.

IOneOf<T1, T2, T3, T4, T5, T6, T7, T8>

Marker interface for a discriminated union of eight possible types.