safe-access: A simple environment to control access to data

[ bsd3, library, security ] [ Propose Tags ]

This is a small capability-based interface to check legitimacy of accesses in different parts of the program depending on the context in which the data is accessed. See the in the repository for a longer explanation and an example.

Versions [faq],,,,,,,,,
Dependencies base (>=4.8 && <4.11), mtl (>=2.2.1), transformers (>= [details]
License BSD-3-Clause
Author Thomas Feron
Category Security
Home page
Source repo head: darcs get --tag
Uploaded by thoferon at Mon Sep 11 09:15:09 UTC 2017
Distributions NixOS:
Downloads 3266 total (55 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 2017-09-11 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees