frunk_laws::monoid_laws
pub fn left_identity<A: Monoid + Eq>(a: A) -> bool
Left identity law
mempty <> x = x
use frunk_laws::monoid_laws::*; quickcheck(left_identity as fn(String) -> bool);Run