functor

Documentation

Index

• type Functor
  • func Lift[A, B any, HKTA constraint.Type[A], HKTB constraint.Type[B], ...](f F) Functor[A, B, HKTA, HKTB, M]

Types

type Functor

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

func Lift

func Lift[
	A, B any,
	HKTA constraint.Type[A],
	HKTB constraint.Type[B],
	M constraint.Map[A, B],
	F constraint.Functor[A, B, HKTA, HKTB, M],
](f F) Functor[A, B, HKTA, HKTB, M]