total-map: Finitely represented /total/ maps

[ bsd3, data, library ] [ Propose Tags ]

Finitely represented total maps. Represented by as a partial map and a default value. Has Applicative and Monad instances (unlike Data.Map).


[Skip to Readme]
Versions [faq] 0.0.0, 0.0.1, 0.0.2, 0.0.3, 0.0.4, 0.0.5, 0.0.6, 0.0.7, 0.0.8, 0.1.0
Change log ChangeLog.md
Dependencies base (<5), containers, semiring-num [details]
License BSD-3-Clause
Copyright (c) 2012 by Conal Elliott
Author Conal Elliott
Maintainer conal@conal.net
Category Data
Home page http://github.com/conal/total-map/
Source repo head: git clone git://github.com/conal/total-map.git
Uploaded by ConalElliott at Sat Nov 24 05:51:32 UTC 2018
Distributions NixOS:0.1.0
Downloads 3640 total (146 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2018-11-24 [all 3 reports]

Modules

  • Data
    • Data.TotalMap

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for total-map-0.1.0

[back to package description]

The usual finite map type (Map from Data.Map) is not an applicative functor, as it doesn't have a pure. Consequently, it's also not a monad. On the other hand, we can decompose Map into two parts: a total map, and Maybe, i.e.,

type Map k v = TMap k (Maybe v)

The type TMap of total maps does have Applicative and Monad instances, and hence this hypothetically rebuilt Map would as well.

The idea for TMap is introduced in the paper Denotational design with type class morphisms. The meaning Map k v is given by its semantic function

(!) :: Map k v -> (k -> v)

The type class morphism (TCM) principle then exactly dictates the meanings of several class instances for TMap, including Functor, Applicative, Monad, and Monoid. For instance, (!) must be a monoid (homo)morphism, i.e.,

(!) mempty == mempty
(!) (s `mappend` t) == (!) s `mappend` (!) t

The current implementation of TMap is via Data.Map.