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

[ data, library ] [ Propose Tags ] [ Report a vulnerability ]

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.

Flags

Automatic Flags
NameDescriptionDefault
with-json

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

Enabled

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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 1.0.0.0, 1.0.1.0, 1.1.0.0, 1.1.1.0, 1.1.2.0, 1.1.3.0, 1.1.4.0, 1.2.0.0, 1.2.1.0
Change log CHANGELOG.md
Dependencies aeson (>=1.5 && <2.3), base (>=4.13 && <4.21), deepseq, hashable, prettyprinter (>=1.7.0 && <1.8), sayable (>=1.0 && <1.3), text [details]
Tested with ghc ==9.4.4, ghc ==9.2.4, ghc ==9.0.2, ghc ==8.10.7, ghc ==8.8.4
License ISC
Copyright Galois Inc, 2023
Author Kevin Quick
Maintainer kquick@galois.com
Category Data
Source repo head: git clone https://github.com/kquick/named-text
Uploaded by KevinQuick at 2024-09-20T20:00:51Z
Distributions Stackage:1.2.1.0
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 412 total (28 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]