https://github.com/matklad/drop_bomb
A Rust library for runtime-checked linearish types
https://github.com/matklad/drop_bomb
linear-types rust
Last synced: 12 months ago
JSON representation
A Rust library for runtime-checked linearish types
- Host: GitHub
- URL: https://github.com/matklad/drop_bomb
- Owner: matklad
- License: apache-2.0
- Created: 2018-08-01T10:56:16.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2023-07-24T18:24:18.000Z (almost 3 years ago)
- Last Synced: 2025-01-10T10:31:57.200Z (over 1 year ago)
- Topics: linear-types, rust
- Language: Rust
- Homepage:
- Size: 20.5 KB
- Stars: 32
- Watchers: 3
- Forks: 5
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE-APACHE
Awesome Lists containing this project
README
# drop_bomb
[](https://travis-ci.org/matklad/drop_bomb)
[](https://crates.io/crates/drop_bomb)
[](https://docs.rs/drop_bomb/)

A runtime guard for (~~protecting your precious bodily fluids~~) implementing linear types.
See the [docs](https://docs.rs/drop_bomb/) for more.