monad

package

v0.0.10 Latest Latest Go to latest Published: Apr 22, 2022 License: MIT Imports: 3 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

Repository

github.com/calebcase/base

Links

Open Source Insights

Documentation ¶

Index ¶

func Conform[A any, MF M[func(A) A], MA M[A], CA ...](c CA) func(t *testing.T, x A)
type Class
type M

Constants ¶

This section is empty.

Variables ¶

This section is empty.

Functions ¶

func Conform ¶ added in v0.0.5

func Conform[
	A any,

	MF M[func(A) A],
	MA M[A],

	CA Class[
		A,
		A,
		A,

		MF,

		MA,
		MA,
		MA,
	],
](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,

	MF M[func(A) B],

	MA M[A],
	MB M[B],
	MC M[C],
] interface {
	applicative.Class[A, B, C, MF, MA, MB, MC]

	// >>=
	Bind(MA, func(A) MB) MB

	// >>
	Then(MA, MB) MB

	Return(A) MA
}

type M ¶

type M[T any] interface{}

Source Files ¶

View all Source files

monad.go

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