requisiteversion Documentation on ocaml.org
Validated values, confidence gates, and per-value freshness
A small typed-state library for validated and trusted values, explicit trust transitions, exhaustive confidence levels, and monotonic per-value TTL freshness. Its abstract types carry checked state without claiming linearity or lifetime guarantees that standard OCaml cannot enforce.
| Tags | validated-values trusted-types refinement-types proof-types confidence-levels trust-boundary exhaustive-matching stale-data typestate validation taint-tracking freshness ttl monotonic-time data-safety |
|---|---|
| Author | Stephen Olesen <slepp@slepp.ca> |
| License | MIT OR Apache-2.0 |
| Published | |
| Homepage | https://github.com/slepp/requisite-ocaml |
| Issue Tracker | https://github.com/slepp/requisite-ocaml/issues |
| Documentation | https://ocaml.org/p/requisite/latest/doc/Requisite/index.html |
| Maintainer | Stephen Olesen <slepp@slepp.ca> |
| Dependencies | |
| Source [http] | https://github.com/slepp/requisite-ocaml/releases/download/0.1.0/requisite-0.1.0.tbz md5=5815b60dff170b0b553624c101d050e0 sha512=d787eed5aba9f090a6bd175f9c45d3e9f756d2339fce19c350050038cd7e25a8cb55ded9793d74c72dbb40a4431a1eeed5aeff020fb0a661ce2704bc7383cff4 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/requisite/requisite.0.1.0/opam |
No package is dependent
