functor

package
v0.0.10 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Apr 22, 2022 License: MIT Imports: 4 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func Conform added in v0.0.4

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

Directories

Path Synopsis

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL