total-map-0.1.3: Finitely represented total maps

Index

!Data.TotalMap
emptyData.TotalMap
fromPartialData.TotalMap
insertData.TotalMap
intersectionPartialWithData.TotalMap
mapKeysWithData.TotalMap
rangeData.TotalMap
singletonData.TotalMap
tabulateData.TotalMap
TMapData.TotalMap
trimData.TotalMap