named-sop-0.1.0.1: Dependently-typed sums and products, tagged by field name

Index

%++Data.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
++Data.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
:->Data.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
GenProductData.NamedSOP.Generic
genProductData.NamedSOP.Generic
GenSumData.NamedSOP.Generic
genSumData.NamedSOP.Generic
GProductData.NamedSOP.Generic
GSumData.NamedSOP.Generic
InsertData.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
insertData.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
MappingData.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
NMapData.NamedSOP.Map
NMapEmptyData.NamedSOP.Map
NMapExtData.NamedSOP.Map
NSumData.NamedSOP.Sum
NSumThatData.NamedSOP.Sum
NSumThisData.NamedSOP.Sum
SConsData.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
SingData.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
SingIData.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
sInsertData.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
SMapping 
1 (Type/Class)Data.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
2 (Data Constructor)Data.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
SNilData.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
SortData.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
sortData.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
specProductData.NamedSOP.Generic
specSumData.NamedSOP.Generic
sSortData.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
sUnionData.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
UnionData.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
unionData.NamedSOP.Type, Data.NamedSOP.Sum, Data.NamedSOP.Map
unionMapData.NamedSOP.Map
unionSumData.NamedSOP.Sum
ununionMapData.NamedSOP.Map
ununionSumData.NamedSOP.Sum