BindModule

PackageAxial

Creates error-adaptation markers for let!, do!, and return! in flow { }.

Summary

Name	Signature	Synopsis
error	error failure source	Assigns an error to a missing or unit-error source at a flow { } bind site.
mapError	mapError mapper source	Maps an existing source error at a flow { } bind site.

error failure source

Member

Assigns an error to a missing or unit-error source at a flow { } bind site.

Name	Type	Description
failure	'error	The error to use if the source fails.
source	^source	The source to adapt.

BindError<'env, 'error, 'value>

flow {
    let! user = maybeUser |> Bind.error InvalidUser
    do! Result.requireTrue () isValid |> Bind.error InvalidInput
}

mapError mapper source

Member

Maps an existing source error at a flow { } bind site.

Name	Type	Description
mapper	'error1 -> 'error2	The error mapping function.
source	^source	The source to adapt.

BindError<'env, 'error2, 'value>

flow {
    do! authorize user |> Bind.mapError Unauthorized
}