monoid

package

v0.0.4 Latest Latest Go to latest Published: Apr 6, 2022 License: MIT Imports: 4 Imported by: 0

Details

This section is empty.

This section is empty.

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

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

type Class[A any] interface {
	semigroup.Class[A]

	MEmpty() A
	MAppend(A, A) A
	MConcat([]A) A
}

type MEmptyFn[A any] func() A

type Type[A any] struct {
	eq.Type[A]
	// contains filtered or unexported fields
}

func NewType[A any](
	equalFn eq.EqualFn[A],
	sAssocFn semigroup.SAssocFn[A],
	mEmptyFn MEmptyFn[A],
) Type[A]

func (t Type[A]) MAppend(x, y A) A

func (t Type[A]) MConcat(xs []A) A

func (t Type[A]) MEmpty() A

func (t Type[A]) SAssoc(x, y A) A