names: Type level names.

[ data, library, mit, type-system ] [ Propose Tags ]

Type level names.

Show Instances added. Restricted to latin1.
Infix operator fixities set.
Merge Data.Name and Data.Name.TH. Added Documentation.

Names are like strings on the type level. This is a name:

H :& E :& L :& L :& O :& W_ :& O :& R :& L :& D

This package provides types which can be used as letters and a cons operator (:&). It also provides syntactic sugar for using names via template haskell:

name "helloWorld"

This will create a value named helloWorld which has the above type and can be used to work with the name.

Names are useful for named records. See the named-records package.

Versions [faq] 0.1, 0.2, 0.2.1, 0.2.2, 0.2.3, 0.3, 0.3.1
Dependencies base (==4.*), template-haskell (>=2.7) [details]
License MIT
Author Julian Fleischer <>
Maintainer Julian Fleischer <>
Category Data, Type System
Source repo head: darcs get
head: darcs get --tag v0.2.2
Uploaded by JulianFleischer at 2013-03-30T13:42:08Z
Distributions NixOS:0.3.1
Downloads 4593 total (17 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees