package
Version:
v1.0.90
Opens a new window with list of versions in this module.
Published: Dec 27, 2023
License: Apache-2.0
Opens a new window with license information.
Imports: 4
Opens a new window with list of imports.
Imported by: 0
Opens a new window with list of known importers.
Documentation
¶
-
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
-
func LensGet[S, A any](t *testing.T, eqa E.Eq[A]) func(l L.Lens[S, A]) func(s S, a A) bool
-
func LensSet[S, A any](t *testing.T, 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)
LensGet tests the law:
get(set(a)(s)) = a
LensSet tests the laws:
set(get(s))(s) = s
set(a)(set(a)(s)) = set(a)(s)
Source Files
¶
Click to show internal directories.
Click to hide internal directories.