Namespace

System

namespace System

Core Raven value contracts, including Optional and Result, alongside extensions that integrate these contracts with ordinary .NET APIs.

Namespaces

3 items

System.Collections

System.Linq

System.Runtime

Types

18 items

ContextError<TError> Adds contextual information around an existing main error.

IError Describes an error with a human-readable message and an optional underlying cause.

IPropagatable<TSelf, TOutput, TResidual> Defines the protocol used by Raven's postfix propagation operator (`?`).

Optional<T> Represents an available value (`Some`) or meaningful absence (`None`). Use `Optional<T>` when having no value is an ordinary outcome. Use [Result<T, E>](xref:T:System.Result`2) whe…

OptionalJsonConverter<T> Converts `Optional` values to and from their natural JSON value representation.

OptionalJsonConverterFactory Creates JSON converters for constructed `Optional` types.

RavenParenthesizedUnionJsonConverter<TUnion> Converts a parenthesized ad-hoc union to and from JSON.

RavenParenthesizedUnionJsonConverterFactory Creates JSON converters for parenthesized ad-hoc unions.

RavenTaggedUnionJsonConverter<TUnion> Converts a tagged Raven union to and from a discriminator-based JSON object.

RavenTaggedUnionJsonConverterAttribute Configures JSON serialization for a tagged Raven union.

RavenTaggedUnionJsonConverterFactory Creates JSON converters for tagged Raven unions.

Result<T, E> Represents either a successful value (`Ok`) or an expected failure (`Failure`). Use `Result<T, E>` when the caller needs to act on a failure reason. For ordinary absence without an…

ResultJsonConverter<T, E> Converts `Result` values to and from tagged JSON objects.

ResultJsonConverterFactory Creates JSON converters for constructed `Result` types.

Union<T1, T2> Represents a value that can contain one of two alternative types.

Union<T1, T2, T3> Represents a value that can contain one of three alternative types.

Union<T1, T2, T3, T4> Represents a value that can contain one of four alternative types.

Union<T1, T2, T3, T4, T5> Represents a value that can contain one of five alternative types.

Type extensions

16 items

DateOnlyExtensions for DateOnly Provides carrier-returning parsing projections for dates.

DateTimeExtensions for DateTime Provides carrier-returning parsing projections for date and time values.

DateTimeOffsetExtensions for DateTimeOffset Provides carrier-returning parsing projections for offset date and time values.

DecimalExtensions for decimal Provides carrier-returning parsing projections for decimal numbers.

DoubleExtensions for double Provides carrier-returning parsing projections for double-precision numbers.

ErrorExtensions<TError> for TError Provides context-building operations for strongly typed errors.

ErrorObjectExtensions for IError Provides context-building operations for errors used through `IError`.

GuidExtensions for Guid Provides carrier-returning parsing projections for GUIDs.

Int32Extensions for int Provides carrier-returning parsing projections for 32-bit integers.

Int64Extensions for long Provides carrier-returning parsing projections for 64-bit integers.

OptionalExtensions1<T> for Optional<T>, T? Defines nullable-reference conversions for `Optional`.

OptionalExtensions2<T> for Optional<T>, T? Defines nullable-value conversions for `Optional`.

OptionalExtensionsNested<T> for Optional<Optional<T>> Provides operations for nested options.

ResultErrorContextExtensions<T, E> for Result<T, E> Provides contextual error operations for results whose error implements `IError`.

TimeOnlyExtensions for TimeOnly Provides carrier-returning parsing projections for times.

TimeSpanExtensions for TimeSpan Provides carrier-returning parsing projections for time intervals.