Documentation ¶ Index ¶ func AssertLaws[S, E, R, A, B, C any](t *testing.T, eqs EQ.Eq[S], eqe EQ.Eq[E], 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[S, E, R, A, B, C any](t *testing.T, eqs EQ.Eq[S], eqe EQ.Eq[E], eqa EQ.Eq[A], eqb EQ.Eq[B], eqc EQ.Eq[C], ab func(A) B, bc func(B) C, s S, r R, ) 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.