Header menu logo FCQRS

Compose.ValidatedPrism Module

Functions and values

Function or value Description

compose (arg1, arg2) (arg3, arg4)

Full Usage: compose (arg1, arg2) (arg3, arg4)

Parameters:
    arg0 : 'a -> 'b option
    arg1 : 'b -> 'a -> Result<'a, 'e>
    arg2 : 'b -> 'c option
    arg3 : 'c -> 'b -> Result<'b, 'e>

Returns: ValidatedPrism<'a, 'c, 'e>

Compose two ValidatedPrism instances.

arg0 : 'a -> 'b option
arg1 : 'b -> 'a -> Result<'a, 'e>
arg2 : 'b -> 'c option
arg3 : 'c -> 'b -> Result<'b, 'e>
Returns: ValidatedPrism<'a, 'c, 'e>

composeMapErrors (arg1, arg2) (arg3, arg4) mapError1 mapError2

Full Usage: composeMapErrors (arg1, arg2) (arg3, arg4) mapError1 mapError2

Parameters:
    arg0 : 'a -> 'b option
    arg1 : 'b -> 'a -> Result<'a, 'e1>
    arg2 : 'b -> 'c option
    arg3 : 'c -> 'b -> Result<'b, 'e2>
    mapError1 : 'e1 -> 'e
    mapError2 : 'e2 -> 'e

Returns: ValidatedPrism<'a, 'c, 'e>
arg0 : 'a -> 'b option
arg1 : 'b -> 'a -> Result<'a, 'e1>
arg2 : 'b -> 'c option
arg3 : 'c -> 'b -> Result<'b, 'e2>
mapError1 : 'e1 -> 'e
mapError2 : 'e2 -> 'e
Returns: ValidatedPrism<'a, 'c, 'e>

composePrismLensMapErrors (arg1, arg2) (arg3, arg4) mapError1 mapError2

Full Usage: composePrismLensMapErrors (arg1, arg2) (arg3, arg4) mapError1 mapError2

Parameters:
    arg0 : 'a -> 'b option
    arg1 : 'b -> 'a -> Result<'a, 'e1>
    arg2 : 'b -> 'c
    arg3 : 'c -> 'b -> Result<'b, 'e2>
    mapError1 : 'e1 -> 'e
    mapError2 : 'e2 -> 'e

Returns: ValidatedPrism<'a, 'c, 'e>
arg0 : 'a -> 'b option
arg1 : 'b -> 'a -> Result<'a, 'e1>
arg2 : 'b -> 'c
arg3 : 'c -> 'b -> Result<'b, 'e2>
mapError1 : 'e1 -> 'e
mapError2 : 'e2 -> 'e
Returns: ValidatedPrism<'a, 'c, 'e>

composePrismValidated (arg1, arg2) (arg3, arg4)

Full Usage: composePrismValidated (arg1, arg2) (arg3, arg4)

Parameters:
    arg0 : 'a -> 'b option
    arg1 : 'b -> 'a -> 'a
    arg2 : 'b -> 'c option
    arg3 : 'c -> 'b -> Result<'b, 'e>

Returns: ValidatedPrism<'a, 'c, 'e>

Compose a standard Prism with a ValidatedPrism.

arg0 : 'a -> 'b option
arg1 : 'b -> 'a -> 'a
arg2 : 'b -> 'c option
arg3 : 'c -> 'b -> Result<'b, 'e>
Returns: ValidatedPrism<'a, 'c, 'e>

composeValidatedPrism (arg1, arg2) (arg3, arg4)

Full Usage: composeValidatedPrism (arg1, arg2) (arg3, arg4)

Parameters:
    arg0 : 'a -> 'b option
    arg1 : 'b -> 'a -> Result<'a, 'e>
    arg2 : 'b -> 'c option
    arg3 : 'c -> 'b -> 'b

Returns: ValidatedPrism<'a, 'c, 'e>

Compose a ValidatedPrism with a standard Prism.

arg0 : 'a -> 'b option
arg1 : 'b -> 'a -> Result<'a, 'e>
arg2 : 'b -> 'c option
arg3 : 'c -> 'b -> 'b
Returns: ValidatedPrism<'a, 'c, 'e>

mapError f (arg2, arg3)

Full Usage: mapError f (arg2, arg3)

Parameters:
    f : 'e1 -> 'e2
    arg1 : 'a -> 'b option
    arg2 : 'b -> 'a -> Result<'a, 'e1>

Returns: ValidatedPrism<'a, 'b, 'e2>
f : 'e1 -> 'e2
arg1 : 'a -> 'b option
arg2 : 'b -> 'a -> Result<'a, 'e1>
Returns: ValidatedPrism<'a, 'b, 'e2>

Type something to start searching.