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