Function frunk_laws::monoid_laws::right_identity

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

Right identity law

x <> mempty = x

Examples

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