ValidatedPrismModule
PackageFCQRS.Model
Summary
| Name | Signature | Synopsis |
|---|---|---|
| compose | compose (arg0, arg1) (arg2, arg3) | Compose two ValidatedPrism instances. |
| composeValidatedPrism | composeValidatedPrism (arg0, arg1) (arg2, arg3) | Compose a ValidatedPrism with a standard Prism. |
| composePrismValidated | composePrismValidated (arg0, arg1) (arg2, arg3) | Compose a standard Prism with a ValidatedPrism. |
| composeMapErrors | composeMapErrors (arg0, arg1) (arg2, arg3) mapError1 mapError2 | No description available. |
| composePrismLensMapErrors | composePrismLensMapErrors (arg0, arg1) (arg2, arg3) mapError1 mapError2 | No description available. |
| mapError | mapError f (arg1, arg2) | No description available. |
Compose two ValidatedPrism instances.
Parameters
| Name | Type | Description |
|---|---|---|
| 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 a ValidatedPrism with a standard Prism.
Parameters
| Name | Type | Description |
|---|---|---|
| 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 standard Prism with a ValidatedPrism.
Parameters
| Name | Type | Description |
|---|---|---|
| arg0 | 'a -> 'b option | |
| arg1 | 'b -> 'a -> 'a | |
| arg2 | 'b -> 'c option | |
| arg3 | 'c -> 'b -> Result<'b, 'e> |
Returns
ValidatedPrism<'a, 'c, 'e>
Parameters
| Name | Type | Description |
|---|---|---|
| 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 (arg0, arg1) (arg2, arg3) mapError1 mapError2
MemberParameters
| Name | Type | Description |
|---|---|---|
| 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>