named-text
Version 1.1.2.0 revision 0 uploaded by KevinQuick.
Package meta
- Synopsis
- A parameterized named text type and associated functionality.
- Description
A plain String or Text is dangerous because it can be arbitrarily combined, converted, emitted, and updated without consideration of the validity and applicability of the contents and the usage scenario.
This module provides a Named type wrapper around Text which has two additional type parameters: one which indicates what the content of the Text represents, and one which indicates the style of the name.
There are additionally functions and classes which allow conversions and transformations between names with different styles and types (or disallow them where appropriate).
The core intent of this library is that the Named is used instead of a raw String or Text to provide type-level tracking and safety.
- Author
- Kevin Quick
- Bug reports
- n/a
- Category
- Data
- Copyright
- Galois Inc, 2023
- Homepage
- n/a
- Maintainer
- kquick@galois.com
- Package URL
- n/a
- Stability
- n/a