@hackage names0.2.2

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.