applicative

Documentation

Index

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

Functions

func Conform

func Conform[
	A any,

	FF F[func(A) A],
	FA F[A],

	CA Class[
		A,
		A,
		A,

		FF,

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

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

Types

type Class

type Class[
	A any,
	B any,
	C any,

	FF F[func(A) B],

	FA F[A],
	FB F[B],
	FC F[C],
] interface {
	functor.Class[A, B, FA, FB]

	Pure(A) FA

	// <*>
	Apply(FF, FA) FB

	LiftA2(func(A, B) C, FA, FB) FC

	// *>
	ApplyR(FA, FB) FB

	// <*
	ApplyL(FA, FB) FA
}

type F

type F[T any] interface{}