Documentation ¶ Index ¶ func AssertLaws[S, A, B, C any](t *testing.T, eqw EQ.Eq[S], eqa EQ.Eq[A], eqb EQ.Eq[B], eqc EQ.Eq[C], ...) func(a A) bool Constants ¶ This section is empty. Variables ¶ This section is empty. Functions ¶ func AssertLaws ¶ func AssertLaws[S, A, B, C any](t *testing.T, eqw EQ.Eq[S], eqa EQ.Eq[A], eqb EQ.Eq[B], eqc EQ.Eq[C], ab func(A) B, bc func(B) C, s S, ) 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.