mappings: Types which represent functions k -> v

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

A typeclass and a number of implementations; please read README.md on github


[Skip to Readme]

Properties

Versions 0.0.1.0, 0.0.2.0, 0.1.0.0, 0.2.0.0, 0.2.1.0, 0.2.1.0, 0.2.2.0, 0.3.0.0, 0.3.1.0
Change log CHANGELOG.md
Dependencies base (>=4.16 && <4.20), cond (>=0.5.1 && <0.6), containers (>=0.6.5 && <0.8), formatting (>=7.0.0 && <7.3), indexed-traversable (>=0.1.1 && <0.2), mappings, partialord (>=0.0.2 && <0.1) [details]
License BSD-3-Clause
Copyright 2023 James Cranch
Author James Cranch
Maintainer j.d.cranch@sheffield.ac.uk
Category Data structures
Home page https://github.com/jcranch/mapping#readme
Bug tracker https://github.com/jcranch/mapping/issues
Source repo head: git clone https://github.com/jcranch/mapping
Uploaded by jcranch at 2023-11-22T00:09:18Z

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Readme for mappings-0.2.1.0

[back to package description]

Mappings

What's it do?

This package does two jobs:

Why did I bother?

The aim is to use decision diagrams with nodes that are piecewise constant maps to store monomials for Grobner basis algorithms.