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: about 1 month 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 (over 6 years ago)
• Default Branch: master
• Last Pushed: 2023-07-24T18:24:18.000Z (over 1 year ago)
• Last Synced: 2024-05-09T11:19:54.865Z (7 months ago)
• Topics: linear-types, rust
• Language: Rust
• Homepage:
• Size: 20.5 KB
• Stars: 30
• Watchers: 3
• Forks: 5
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-APACHE

Awesome Lists containing this project

README

        
# drop_bomb

[![Build Status](https://travis-ci.org/matklad/drop_bomb.svg?branch=master)](https://travis-ci.org/matklad/drop_bomb)

[![Crates.io](https://img.shields.io/crates/v/drop_bomb.svg)](https://crates.io/crates/drop_bomb)

[![API reference](https://docs.rs/drop_bomb/badge.svg)](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.