Module frunk_laws::monoid_laws
[−]
[src]
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);Run
Functions
left_identity |
Left identity law |
right_identity |
Right identity law |