Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func AssertLaws ¶
func AssertLaws[S, A any]( t *testing.T, eqa E.Eq[A], eqs E.Eq[S], ) func(l L.Lens[S, A]) func(s S, a A) bool
AssertLaws tests the lens laws
get(set(a)(s)) = a set(get(s))(s) = s set(a)(set(a)(s)) = set(a)(s)
Types ¶
This section is empty.
Click to show internal directories.
Click to hide internal directories.