Safe Haskell | None |
---|
Type level names.
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.