Validation

This page shows the source-documented Validation surface: the accumulating result type, module functions, and path-scoping helpers.

Core type

• FsFlow.Validation: An accumulating validation result that keeps the structured diagnostics graph visible.

Module functions

• FsFlow.ValidationModule.toResult: Converts a Validation into a standard Result.
• FsFlow.ValidationModule.ok: Creates a successful validation result.
• FsFlow.ValidationModule.error: Creates a failing validation result with the provided diagnostics.
• FsFlow.ValidationModule.succeed: Alias for ok.
• FsFlow.ValidationModule.fail: Alias for error.
• FsFlow.ValidationModule.fromResult: Lifts a standard Result into the Validation context.
• FsFlow.ValidationModule.map: Maps the successful value of a validation.
• FsFlow.ValidationModule.bind: Sequences a validation-producing continuation.
• FsFlow.ValidationModule.mapError: Maps the error type of a validation graph.
• FsFlow.ValidationModule.map2: Combines two validations, accumulating errors if both fail.
• FsFlow.ValidationModule.map3: Combines three validations, accumulating errors when any input fails.
• FsFlow.ValidationModule.apply: Applies a validation-wrapped function to a validation-wrapped value.
• FsFlow.ValidationModule.ignore: Maps a successful validation value to unit while preserving the diagnostics.
• FsFlow.ValidationModule.orElse: Falls back to another validation when the source validation fails.
• FsFlow.ValidationModule.orElseWith: Computes a fallback validation from the source diagnostics when validation fails.
• FsFlow.ValidationModule.collect: Collects a sequence of validations into a single validation of a list.
• FsFlow.ValidationModule.sequence: Transforms a sequence of validations into a validation of a list.
• FsFlow.ValidationModule.traverseIndexed: Maps a sequence into validations while prefixing each item with its index.
• FsFlow.ValidationModule.merge: Merges two validations into a validation of a tuple.

Path scoping

• FsFlow.ValidationModule.at: Scopes a validation under the supplied path segments.
• FsFlow.ValidationModule.key: Prefixes a validation with a keyed branch.
• FsFlow.ValidationModule.index: Prefixes a validation with an indexed branch.
• FsFlow.ValidationModule.name: Prefixes a validation with a named branch.