names: Type level names.

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

Type level names.

v0.2
Show Instances added. Restricted to latin1.
v0.2.1
Infix operator fixities set.
v0.2.2
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 <julian.fleischer@fu-berlin.de>
Maintainer Julian Fleischer <julian.fleischer@fu-berlin.de>
Category Data, Type System
Source repo head: darcs get hub.darcs.net:names
head: darcs get hub.darcs.net:names --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]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees