type-level-sets-0.7: Type-level sets and finite maps (with value-level counterparts)

Index

:++Data.Type.Set
:->Data.Type.Map
:\Data.Type.Map
appendData.Type.Set
AsMapData.Type.Map
asMapData.Type.Map
AsSetData.Type.Set
asSetData.Type.Set
CmpData.Type.Set, Data.Type.Map
CombinableData.Type.Map
CombineData.Type.Map
combineData.Type.Map
DeleteData.Type.Set
Empty 
1 (Data Constructor)Data.Type.Set
2 (Data Constructor)Data.Type.Map
Ext 
1 (Data Constructor)Data.Type.Set
2 (Data Constructor)Data.Type.Map
FilterData.Type.Set
FlagData.Type.Set
FMaxData.Type.Set
FMinData.Type.Set
IsMapData.Type.Map
IsSetData.Type.Set
LookupData.Type.Map
MapData.Type.Map
MappingData.Type.Map
MemberData.Type.Map
NubData.Type.Set
nub 
1 (Function)Data.Type.Set
2 (Function)Data.Type.Map
Nubable 
1 (Type/Class)Data.Type.Set
2 (Type/Class)Data.Type.Map
Proxy 
1 (Type/Class)Data.Type.Set
2 (Data Constructor)Data.Type.Set
quicksortData.Type.Set
SetData.Type.Set
SortData.Type.Set
SortableData.Type.Set
Split 
1 (Type/Class)Data.Type.Set
2 (Type/Class)Data.Type.Map
split 
1 (Function)Data.Type.Set
2 (Function)Data.Type.Map
SubmapData.Type.Map
submapData.Type.Map
SubsetData.Type.Set
subsetData.Type.Set
Union 
1 (Type/Class)Data.Type.Set
2 (Type/Class)Data.Type.Map
union 
1 (Function)Data.Type.Set
2 (Function)Data.Type.Map
Unionable 
1 (Type/Class)Data.Type.Set
2 (Type/Class)Data.Type.Map
Var 
1 (Type/Class)Data.Type.Map
2 (Data Constructor)Data.Type.Map