LensUnion
PackageFCQRS.Model
Static overloads of the composition function for lenses (>->).
Specification
Kind
Union
Members
7
Examples
0
(>->)Signature
Lens >-> asyncValidatedLens
(>->)Signature
Lens >-> validatedLens
(>->)Signature
Lens >-> (f, t)
(>->)Signature
Lens >-> (f, t)
(>->)Signature
Lens >-> (g2, s2)
Summary
| Name | Signature | Synopsis |
|---|---|---|
| (>->) | Lens >-> asyncValidatedLens | Compose a Lens with an AsyncValidatedLens. |
| (>->) | Lens >-> validatedLens | No description available. |
| (>->) | Lens >-> (f, t) | No description available. |
| (>->) | Lens >-> (f, t) | No description available. |
| (>->) | Lens >-> (g2, s2) | No description available. |
| (>->) | Lens >-> (g2, s2) | No description available. |
| Lens | Lens | No description available. |
Compose a Lens with an AsyncValidatedLens.
Parameters
| Name | Type | Description |
|---|---|---|
| Lens | Lens | |
| asyncValidatedLens | AsyncValidatedLens<'b, 'c, 'e> |
Returns
AsyncValidatedLens<'a, 'b, 'e> -> AsyncValidatedLens<'a, 'c, 'e>
Parameters
| Name | Type | Description |
|---|---|---|
| Lens | Lens | |
| validatedLens | ValidatedLens<'b, 'c, 'e> |
Returns
ValidatedLens<'a, 'b, 'e> -> ValidatedLens<'a, 'c, 'e>
Parameters
| Name | Type | Description |
|---|---|---|
| Lens | Lens | |
| f, t | Epimorphism<'b, 'c> |
Returns
Lens<'a, 'b> -> Prism<'a, 'c>
Parameters
| Name | Type | Description |
|---|---|---|
| Lens | Lens | |
| f, t | Isomorphism<'b, 'c> |
Returns
Lens<'a, 'b> -> Lens<'a, 'c>
Parameters
| Name | Type | Description |
|---|---|---|
| Lens | Lens | |
| g2, s2 | Prism<'b, 'c> |
Returns
Lens<'a, 'b> -> Prism<'a, 'c>
Parameters
| Name | Type | Description |
|---|---|---|
| Lens | Lens | |
| g2, s2 | Lens<'b, 'c> |
Returns
Lens<'a, 'b> -> Lens<'a, 'c>