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