refined_type 0.1.1

A library for imbuing rules into types and elevating them to more robust types
Documentation