functor

Documentation

Index

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

Functions

func Conform

func Conform[A any, CA Class[A, A, data.Data[A], data.Data[A]]](c CA) func(t *testing.T, x data.Data[A])

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{}