@hackage / mappings

Types which represent functions k -> v

Latest0.4.0.0

About

Metadata

  • Last updated , by jcranch
  • License BSD-3-Clause

  • Maintained by: j.d.cranch@sheffield.ac.uk

  • Lottery factor: 1

Links

Installation

Readme

Mappings

This package offers a general typeclass Mapping for data structures which represent functions k -> v (possibly for fixed k, but arbitrary ordered v).

There are some fairly straightforward examples: constant mappings, and those which build up mappings where k is Either, or a pair, or Maybe, or Bool.

Three less trivial implementations are provided: