Curry Package 'finite-map'

finite-map

This package contains the library Data.Map implementing finite maps, i.e., efficient purely functional data structures to store a mapping from keys to values.

For compatibility reason, it also contains an old but deprecated library Data.FiniteMap.