| Safe Haskell | Trustworthy |
|---|
Data.Name
Description
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.
Documentation
class Show a => Name a whereSource
Instances
| Name Z | |
| Name Y | |
| Name X | |
| Name W | |
| Name V | |
| Name U | |
| Name T | |
| Name S | |
| Name R | |
| Name Q | |
| Name P | |
| Name O | |
| Name N | |
| Name M | |
| Name L | |
| Name K | |
| Name J | |
| Name I | |
| Name H | |
| Name G | |
| Name F | |
| Name E | |
| Name D | |
| Name C | |
| Name B | |
| Name A | |
| Name Z_ | |
| Name Y_ | |
| Name X_ | |
| Name W_ | |
| Name V_ | |
| Name U_ | |
| Name T_ | |
| Name S_ | |
| Name R_ | |
| Name Q_ | |
| Name P_ | |
| Name O_ | |
| Name N_ | |
| Name M_ | |
| Name L_ | |
| Name K_ | |
| Name J_ | |
| Name I_ | |
| Name H_ | |
| Name G_ | |
| Name F_ | |
| Name E_ | |
| Name D_ | |
| Name C_ | |
| Name B_ | |
| Name A_ | |
| Name D9 | |
| Name D8 | |
| Name D7 | |
| Name D6 | |
| Name D5 | |
| Name D4 | |
| Name D3 | |
| Name D2 | |
| Name D1 | |
| Name D0 | |
| (Name a, Name b) => Name (:& a b) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (UF a b c d) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (UE a b c d) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (UD a b c d) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (UC a b c d) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (UB a b c d) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (UA a b c d) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (U9 a b c d) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (U8 a b c d) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (U7 a b c d) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (U6 a b c d) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (U5 a b c d) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (U4 a b c d) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (U3 a b c d) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (U2 a b c d) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (U1 a b c d) | |
| (Hex a, Hex b, Hex c, Hex d) => Name (U0 a b c d) |