key: Type-safe unconstrained dynamic typing

[ bsd3, library, unclassified ] [ Propose Tags ]

A library of monadic typed keys which can be compared for equality, returning an equality proof if equal. See http://dx.doi.org/10.1145/2976002.2976008 The authors of the cited document and of this package are disjoint.


[Skip to Readme]
Versions [faq] 0.1.0.0, 0.1.1.0
Dependencies base (>=4.9 && <5), transformers (>=0.4 && <0.6) [details]
License BSD-3-Clause
Copyright 2019 M Farkas-Dyck
Author M Farkas-Dyck
Maintainer strake888@gmail.com
Source repo head: git clone https://github.com/strake/key.hs
Uploaded by MatthewFarkasDyck at Sun Mar 31 20:54:38 UTC 2019
Distributions NixOS:0.1.1.0
Downloads 155 total (31 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-03-31 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for key-0.1.1.0

[back to package description]

key