named-records-0.5: Flexible records with named fields.

Index

:+ 
1 (Type/Class)Data.NamedRecord
2 (Data Constructor)Data.NamedRecord
:= 
1 (Type/Class)Data.NamedRecord
2 (Data Constructor)Data.NamedRecord
addData.NamedRecord
extendsData.NamedRecord
getData.NamedRecord
hasData.NamedRecord
nameData.NamedRecord
namesData.NamedRecord
nameTData.NamedRecord
nameVData.NamedRecord
NewData.NamedRecord
newData.NamedRecord
PropertyData.NamedRecord
recordData.NamedRecord
record'Data.NamedRecord
setData.NamedRecord
updData.NamedRecord