constraint

package

v0.0.23 Latest Latest Go to latest Published: Dec 4, 2024 License: MIT Imports: 0 Imported by: 0

Details

This section is empty.

This section is empty.

This section is empty.

type ContraMap[A, B any] interface {
	~func(B) A
}

type Foldable[A, B any, M Monoid[A]] interface {
	~func(M, B) A
}

type Functor[A, B any, HKTA Type[A], HKTB Type[B], M Map[A, B]] interface {
	~func(HKTA, M) HKTB
}

type HKT[T, V any] interface {
	Type[T]
	~func(V)
}

type Identity[T any] interface {
	~func() T
}

type Map[A, B any] interface {
	~func(A) B
}

type Maybe[T any] interface {
	~func() (T, error)
}

type Monoid[T any] interface {
	Semigroup[T]
	Identity[T]
}

type Result[T any] interface {
	~func() (T, error)
}

type Semigroup[T any] interface {
	~func(T, T) T
}

type Type[T any] interface {
	~func(T)
}