Documentation ¶ Index ¶ func AssertLaws[W, A, B, C any](t *testing.T, m M.Monoid[W], eqw EQ.Eq[W], eqa EQ.Eq[A], eqb EQ.Eq[B], ...) func(a A) bool Constants ¶ This section is empty. Variables ¶ This section is empty. Functions ¶ func AssertLaws ¶ func AssertLaws[W, A, B, C any](t *testing.T, m M.Monoid[W], eqw EQ.Eq[W], eqa EQ.Eq[A], eqb EQ.Eq[B], eqc EQ.Eq[C], ab func(A) B, bc func(B) C, ) func(a A) bool AssertLaws asserts the apply monad laws for the `Either` monad Types ¶ This section is empty. Source Files ¶ View all Source files laws.go Click to show internal directories. Click to hide internal directories.