poset
A simple implementation of posets.
Rust already provides some tools to analyse
posets; we can define partial order on a type T
by implementing PartialOrd
.
Doing so affords us the ability to use operators as we naturally would, writing
things like a >= b
.
But implementing PartialOrd
is not ideal when we wish to consider multiple
partial orders on a type. For example, what if we wanted to consider the
natural numbers (i.e. u32
) with the divisbility relation: a >= b
if and
only if a % b == 0
.
The purpose of this crate is to provide both an ergonomic way to work with various partial orders, and also helpful tools to study those associated posets (by generating things like Hasse diagrams). It is within the future scope of this crate to provide such things for more general relations, too.
If you want the crate to be finished quicker, then you could consider contributing. :)
Example
use ;
use Error;
License
This project is released under The Unlicense, dedicated to the public domain.
Contributing
Contributions welcome! :)
By submitting a pull request or otherwise contributing to this project, you agree to dedicate your contribution to the public domain under the terms of The Unlicense, and you certify that you have the right to do so.