# contrafact-rs

[![CI](https://github.com/maackle/contrafact-rs/actions/workflows/rust.yml/badge.svg)](https://github.com/maackle/contrafact-rs/actions)
[![Docs](https://docs.rs/contrafact/badge.svg)](https://docs.rs/contrafact)

A trait for highly composable constraints ("facts") which can be used both to verify data and to generate arbitrary data within those constraints

[**See the rust docs for more info**](https://docs.rs/contrafact)

## TODO:

- [ ] make Arbitrary a feature, generalize data generation
- [ ] add lens-rs support
- [ ]