functor

Documentation

Index

• func Conform[A any, FA F[A], CA Class[A, A, FA, FA]](c CA) func(t *testing.T, x FA)
• type Class
• type F

Functions

func Conform

func Conform[
	A any,

	FA F[A],

	CA Class[A, A, FA, FA],
](c CA) func(t *testing.T, x FA)

Conform returns a function testing if the implementation abides by its laws.

Types

type Class

type Class[
	A any,
	B any,

	FA F[A],
	FB F[B],
] interface {
	FMap(func(A) B, FA) FB
	FReplace(A, FB) FA
}

type F

type F[T any] interface{}