Function frunk_laws::monoid_laws::left_identity

pub fn left_identity<A: Monoid + Eq>(a: A) -> bool

Left identity law

mempty <> x = x

Examples

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