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.




Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.1, 0.2, 0.2.1, 0.2.2, 0.2.3, 0.3, 0.3.1
Dependencies base (>=4 && <5), 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
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 5227 total (20 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]