Module frunk_laws::monoid_laws

Module that holds laws for Monoid implementations

Note that you should use the semigroup_laws module to get the associative law test.

Examples

use frunk_laws::monoid_laws::*;
quickcheck(left_identity as fn(String) -> bool);
quickcheck(right_identity as fn(String) -> bool);

Functions

left_identity

Left identity law

right_identity

Right identity law