PrismUnion
PackageFCQRS.Model
Static overloads of the composition function for prisms (>?>).
Specification
Kind
Union
Members
6
Examples
0
(>?>)Signature
Prism >?> validatedPrism
(>?>)Signature
Prism >?> (f, t)
(>?>)Signature
Prism >?> (f, t)
(>?>)Signature
Prism >?> (g2, s2)
(>?>)Signature
Prism >?> (g2, s2)
Parameters
| Name | Type | Description |
|---|---|---|
| Prism | Prism | |
| validatedPrism | ValidatedPrism<'b, 'c, 'e> |
Returns
Prism<'a, 'b> -> ValidatedPrism<'a, 'c, 'e>
Parameters
| Name | Type | Description |
|---|---|---|
| Prism | Prism | |
| f, t | Epimorphism<'b, 'c> |
Returns
Prism<'a, 'b> -> Prism<'a, 'c>
Parameters
| Name | Type | Description |
|---|---|---|
| Prism | Prism | |
| f, t | Isomorphism<'b, 'c> |
Returns
Prism<'a, 'b> -> Prism<'a, 'c>
Parameters
| Name | Type | Description |
|---|---|---|
| Prism | Prism | |
| g2, s2 | Prism<'b, 'c> |
Returns
Prism<'a, 'b> -> Prism<'a, 'c>
Parameters
| Name | Type | Description |
|---|---|---|
| Prism | Prism | |
| g2, s2 | Lens<'b, 'c> |
Returns
Prism<'a, 'b> -> Prism<'a, 'c>