RationalArbitrary
SpireArbitrary
RealArbitrary
SpireArbitrary
RingLaws
laws
RingProperties
RingLaws
rig
RingLaws
rightMonoidAction
ActionLaws
rightMonoidPartialAction
PartialActionLaws
rightSemigroupAction
ActionLaws
rightSemigroupPartialAction
PartialActionLaws
rightSemigroupoidPartialAction
PartialActionLaws
ring
RingLaws
rng
RingLaws