ValueLensType
PackageFCQRS.Model
Specification
Kind
Type
Members
7
Examples
0
CreateSignature
ValueLens.Create(innerValue)
CreateAsResultSignature
ValueLens.CreateAsResult(v)
IsValidValueSignature
ValueLens.IsValidValue(this)
ToStringSignature
ValueLens.ToString(this)
TryCreateSignature
ValueLens.TryCreate(innerValue)
Summary
| Name | Signature | Synopsis |
|---|---|---|
| Create | ValueLens.Create(innerValue) | Creates a parent type whose lens returns no Result. |
| CreateAsResult | ValueLens.CreateAsResult(v) | Validates the inner value, returning its errors, then creates the parent with Create. |
| IsValidValue | ValueLens.IsValidValue(this) | Reapplies validation rules, typical use case is after deserialization when you cannot trust the data. |
| ToString | ValueLens.ToString(this) | Converts inner value ToString |
| TryCreate | ValueLens.TryCreate(innerValue) | Creates a Result type depending the outcome of validation. |
| Value | ValueLens.Value(this) | Gets the inner value |
| Value | ValueLens.Value(this) | Gets the inner value |
Creates a parent type whose lens returns no Result. Its constructor can still throw, as
CID's does for '~'.
Parameters
| Name | Type | Description |
|---|---|---|
| innerValue | 'Inner |
Returns
^Wrapped
Validates the inner value, returning its errors, then creates the parent with Create.
A parent constructor that throws, such as CID's for '~', still throws.
Parameters
| Name | Type | Description |
|---|---|---|
| v | 'a |
Returns
Result<^b, 'd>
Reapplies validation rules, typical use case is after deserialization when you cannot trust the data.
Parameters
| Name | Type | Description |
|---|---|---|
| this | ^Wrapped |
Returns
bool
Converts inner value ToString
Parameters
| Name | Type | Description |
|---|---|---|
| this | ^Wrapped |
Returns
string
Creates a Result type depending the outcome of validation.
Parameters
| Name | Type | Description |
|---|---|---|
| innerValue | 'Inner |
Returns
Result<^Wrapped, 'Error>
Gets the inner value
Parameters
| Name | Type | Description |
|---|---|---|
| this | ^Wrapped |
Returns
'Inner