Index
empty | HeteroMap.Map |
insert | HeteroMap.Map |
Key | HeteroMap.Map |
lookup | HeteroMap.Map |
Map | HeteroMap.Map |
newKey | HeteroMap.Map |
overwrite | HeteroMap.Map |
singleton | HeteroMap.Map |
hetero-map-0.21: Pure heterogeneous maps.
Index
empty | HeteroMap.Map |
insert | HeteroMap.Map |
Key | HeteroMap.Map |
lookup | HeteroMap.Map |
Map | HeteroMap.Map |
newKey | HeteroMap.Map |
overwrite | HeteroMap.Map |
singleton | HeteroMap.Map |