Monoid.Law

Source

Summary

associativity?(monoid1, monoid2, monoid3)
closure?(monoid1, monoid2)
identity?(monoid, identity)

Functions

associativity?(monoid1, monoid2, monoid3)
Source
closure?(monoid1, monoid2)
Source
identity?(monoid, identity)
Source