linear-maps

Finite maps for linear use.

Finite maps for linear use.

This package contains three different implementations with the same interface. The implementations are controlled by Cabal flags which can be set at installation time with the following commands:

cabal install -fcheck

Installs an implementation where linear use of maps is needed and checked (at runtime). It is recommended to use this version during development.

cabal install

Installs an implementation where linear use of maps is needed but not checked. It is the fastest implementation so it is ideal for the final product. Install this only if you are certain that maps are used linearly.

cabal install -fpure

Installs an implementation where linear use of maps is not needed and not checked. This is the simplest implementation so it can be read as a documentation. Do not install this version because it is slow and does not check the linear use of maps.