dependent_ghost 0.1.1

An implementation of Matt Noonan's 'Ghosts of Departed Proofs'.
Documentation
  • Coverage
  • 44.74%
    17 out of 38 items documented0 out of 34 items with examples
  • Size
  • Source code size: 12.22 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 736.41 kB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 9s Average build duration of successful builds.
  • all releases: 9s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • Homepage
  • CT075/dependent-ghost
    6 0 0
  • crates.io
  • Dependencies
    • —
  • Versions
  • Owners
  • CT075

What is this?

dependent-ghost is a library that provides some of the benefits of dependent typing to Rust via the Ghosts of Departed Proofs technique. Library authors can provide APIs with statically-checked preconditions and invariants, which the user can validate however necessary.

All credit for this technique goes to Matt Noonan, the author of the original paper.