key: Type-safe unconstrained dynamic typing

[ bsd3, deprecated, library, unclassified ] [ Propose Tags ]

A library of monadic typed keys which can be compared for equality, returning an equality proof if equal. See The authors of the cited document and of this package are disjoint.

[Skip to Readme]
Versions [faq],,
Dependencies base (>=4.9 && <5), transformers (>=0.4 && <0.6) [details]
License BSD-3-Clause
Copyright 2019 M Farkas-Dyck
Author M Farkas-Dyck
Source repo head: git clone
Uploaded by MatthewFarkasDyck at 2019-09-13T22:28:55Z
Distributions NixOS:
Downloads 991 total (2 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-09-13 [all 1 reports]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees

Readme for key-

[back to package description]