Link Search Menu Expand Document

CommutativeRing.Laws overview

Added in v1.0.0


Table of contents


utils

getCommutativeRingLaws

Derive fast-check property tests for your CommutativeRing instances

Signature

export declare const getCommutativeRingLaws: <A>(
  CR: Eq<A> & CommutativeRing<A>,
  arb: fc.Arbitrary<A>
) => Record<string, fc.IProperty<unknown>>

Added in v1.0.0