hedgehog-checkers wraps up the expected properties associated with various standard type classes as Hedgehog properties. Inspired by Conal Elliot's checkers library.

hedgehog-checkers-lens depends on hedgehog-checkers and includes Lens, Prism, Setter, Traversal, and Iso. The properties are defined for the widely used lens library.