Safe Haskell | Trustworthy |
---|
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
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) |