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

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Warnings:

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.

Properties

Versions 1.0.0.0, 1.0.1.0, 1.1.0.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 base (>=4.13 && <4.18), deepseq, hashable, prettyprinter (>=1.7.0 && <1.8), sayable (>=1.0 && <1.1), text [details]
License ISC
Copyright Galois Inc, 2022
Author Kevin Quick
Maintainer kquick@galois.com
Category Data
Source repo head: git clone https://github.com/kquick/named-text
Uploaded by KevinQuick at 2022-12-28T17:57:19Z

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees