named-text: A parameterized named text type and associated functionality.

[ data, library ] [ Propose Tags ]

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.


Automatic Flags

Build optional Data.Text.JSON module with JSON Named style support


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS],,,,,,
Change log
Dependencies aeson (>=1.5 && <2.2), base (>=4.13 && <4.19), deepseq, hashable, prettyprinter (>=1.7.0 && <1.8), sayable (>=1.0 && <1.3), text [details]
License ISC
Copyright Galois Inc, 2023
Author Kevin Quick
Category Data
Source repo head: git clone
Uploaded by KevinQuick at 2023-10-02T04:45:54Z
Downloads 286 total (13 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]