RefineModule
PackageReified.Refinements
Smart constructors for built-in refined values, and the refinements behind them.
Summary
| Name | Signature | Synopsis |
|---|---|---|
| nonBlankString | nonBlankString | No description available. |
| finiteFloat | finiteFloat | No description available. |
| finiteFloat32 | finiteFloat32 | No description available. |
| unitInterval | unitInterval | No description available. |
| interval | interval lower upper | No description available. |
| bounded | bounded bounds value | 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 |
|---|---|---|
| lower | 'a | |
| upper | 'a |
Returns
Result<Interval<'a>, Violation>
Parameters
| Name | Type | Description |
|---|---|---|
| bounds | Interval<'a> | |
| value | 'a |
Returns
Result<Bounded<'a>, Violation>
Parameters
| Name | Type | Description |
|---|---|---|
| values | 'a seq |
Returns
Result<NonEmptyList<'a>, Violation>
Parameters
| Name | Type | Description |
|---|---|---|
| values | 'a seq |
Returns
Result<NonEmptyArray<'a>, Violation>