CollectionModule
PackageReified.Refinements
Collection refined value constructors and helpers.
Summary
| Name | Signature | Synopsis |
|---|---|---|
| nonEmptyListRefinement | nonEmptyListRefinement () | No description available. |
| nonEmptyArrayRefinement | nonEmptyArrayRefinement () | No description available. |
| nonEmptyArrayFromListRefinement | nonEmptyArrayFromListRefinement () | Admits a non-empty array from a list, which is the shape structured wire formats use. |
| distinctListRefinement | distinctListRefinement () | No description available. |
| nonEmptyList | nonEmptyList values | No description available. |
| nonEmptyArray | nonEmptyArray values | No description available. |
| distinctList | distinctList values | No description available. |
Parameters
| Name | Type | Description |
|---|---|---|
| unit |
Returns
Refinement<'value list, NonEmptyList<'value>>
Parameters
| Name | Type | Description |
|---|---|---|
| unit |
Returns
Refinement<'value array, NonEmptyArray<'value>>
Admits a non-empty array from a list, which is the shape structured wire formats use.
Parameters
| Name | Type | Description |
|---|---|---|
| unit |
Returns
Refinement<'value list, NonEmptyArray<'value>>
Parameters
| Name | Type | Description |
|---|---|---|
| unit |
Returns
Refinement<'value list, DistinctList<'value>>
Parameters
| Name | Type | Description |
|---|---|---|
| values | 'a seq |
Returns
Result<NonEmptyList<'a>, Violation>
Parameters
| Name | Type | Description |
|---|---|---|
| values | 'a seq |
Returns
Result<NonEmptyArray<'a>, Violation>