Monadoc
The latest version of names is 0.3.1-0.

names

Version 0.2.2 revision 0 uploaded by JulianFleischer.

Package meta

Synopsis
Type level names.
Description

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.

Author
Julian Fleischer <julian.fleischer@fu-berlin.de>
Bug reports
n/a
Category
Data, Type System
Copyright
n/a
Homepage
n/a
Maintainer
Julian Fleischer <julian.fleischer@fu-berlin.de>
Package URL
n/a
Stability
experimental

Components