Uploaded at May 27 18:43:38 2021
Succesfully tested at Jun 25 08:02:56 2021

Curry Package finite-map

finite-map

This package is included for compatbility reasons only. It contains the deprecated library Data.FiniteMap implementing finite maps, i.e., efficient purely functional data structures to store a mapping from keys to values. Instead of this library, one should use the library Data.Map from package containers (which has a slightly different API).


Download

Checkout with CPM:
cypm checkout finite-map 3.0.0
Package source:
finite-map-3.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/finite-map.git