finite-map-0.0.1 ---------------- Version 0.0.1 Author Michael Hanus Synopsis Library implementing finite maps (efficient mappings from keys to values) Category Data Dependencies base >= 1.0.0, < 2.0.0 random >= 0.0.1 Compiler compatibility pakcs >= 2.0.0 kics2 >= 2.0.0 Exported modules Data.Map Data.FiniteMap Test suite Directory src Test modules Data.Map Data.FiniteMap Test suite Directory test Test modules TestFiniteMap Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/finite-map.git@v0.0.1 License BSD-3-Clause License file LICENSE