Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

testing

package

v2.0.4 Latest Latest Go to latest Published: Dec 22, 2025 License: Apache-2.0 Imports: 8 Imported by: 0

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

github.com/IBM/fp-go

Links

Open Source Insights

Documentation ¶

Index ¶

func AssertLaws[S, A, B, C any](t *testing.T, eqs 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,
	eqs 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,
	ctx context.Context,
) func(a A) bool

AssertLaws asserts the monad laws for the StateReaderIOResult monad

Types ¶

This section is empty.

Source Files ¶

View all Source files

laws.go