testing

Documentation

Index

• 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

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)

func LensGet

func LensGet[S, A any](
	t *testing.T,
	eqa E.Eq[A],
) func(l L.Lens[S, A]) func(s S, a A) bool

LensGet tests the law: get(set(a)(s)) = a

func LensSet

func LensSet[S, A any](
	t *testing.T,
	eqs E.Eq[S],
) func(l L.Lens[S, A]) func(s S, a A) bool

LensSet tests the laws: set(get(s))(s) = s set(a)(set(a)(s)) = set(a)(s)