departed 0.1.0

A library that provides some of the benefits of dependent types using the Ghosts of Departed Proofs technique
Documentation
  • Coverage
  • 33.33%
    16 out of 48 items documented0 out of 38 items with examples
  • Size
  • Source code size: 7.8 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 3.58 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Links
  • jonathanrlouie/departed
    1 0 0
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • jonathanrlouie

departed

Departed is a library for Rust programmers that provides some of the benefits of dependent types using the "Ghosts of Departed Proofs" technique. Namely, it allows library authors to write APIs with statically checked preconditions and invariants. In addition, it allows users of said APIs to prove that they are using the APIs correctly.

All credit for the technique this crate is based on goes to Matt Noonan.