NonBlankStringModule
PackageReified.Refinements
Operations over text known to carry non-whitespace content.
Summary
| Name | Signature | Synopsis |
|---|---|---|
| Union cases | ||
| Value | this.Value | Returns the underlying string value. |
| Operations | ||
| refinement | refinement | No description available. |
| value | value input | Returns the underlying string value. |
| create | create value | Admits text that is not null, empty, or whitespace. |
| map | map mapping input | Applies a mapping and re-admits the result, which may no longer be inhabited. |
| append | append left right | Concatenates two inhabited strings. |
| join | join separator values | Concatenates with a separator. |
| trim | trim input | Trims surrounding whitespace. |
| toUpper | toUpper input | Converts to upper case. |
| toLower | toLower input | Converts to lower case. |
| length | length input | Returns the length as a plain int, matching String.length. |
| split | split separator input | Splits on a separator, discarding blank segments. |