Skip to content

EricLBuehler/range-checked

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

10 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

range-checked

Continuous integration Documentation

range-checked provides range checked types which leverage Rust's type system. Please see docs here.

Example

use range_checked::I32Bounded;

fn main() {
    // Panics
    let _: I32Bounded<0, 128, false> = 128.try_into().unwrap(); 
    // Successful
    let _: I32Bounded<0, 128, true> = 128.try_into().unwrap(); 
    // Successful
    let _: I32Bounded<0, 128, false> = 64.try_into().unwrap(); 
}

About

Range checked types leveraging Rust's type system.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages