RefineModule
PackageReified.Refinements
Smart constructors for built-in refined values, and the refinements behind them.
Summary
| Name | Signature | Synopsis |
|---|
| Operations |
| 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. |
Operations
kind:member
Returns
string -> Result<NonBlankString, Violation>
kind:member
Returns
float -> Result<FiniteFloat, Violation>
kind:member
Returns
float32 -> Result<FiniteFloat32, Violation>
kind:member
Returns
float -> Result<UnitInterval, Violation>
kind:member
interval lower upper
MemberParameters
| Name | Type | Description |
|---|
| lower | 'a | |
| upper | 'a | |
Returns
Result<Interval<'a>, Violation>
kind:member
bounded bounds value
MemberParameters
| Name | Type | Description |
|---|
| bounds | Interval<'a> | |
| value | 'a | |
Returns
Result<Bounded<'a>, Violation>
kind:member
nonEmptyList values
MemberParameters
| Name | Type | Description |
|---|
| values | 'a seq | |
Returns
Result<NonEmptyList<'a>, Violation>
kind:member
nonEmptyArray values
MemberParameters
| Name | Type | Description |
|---|
| values | 'a seq | |
Returns
Result<NonEmptyArray<'a>, Violation>
kind:member
distinctList values
MemberParameters
| Name | Type | Description |
|---|
| values | 'a seq | |
Returns
Result<DistinctList<'a>, Violation>
