traversable

package

v2.1.13 Latest Latest Go to latest Published: Jan 17, 2026 License: Apache-2.0 Imports: 5 Imported by: 0

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

github.com/IBM/fp-go

Links

Open Source Insights

Documentation ¶

Index ¶

func ComposeTraverse[...](...) ...
type Applicative
type Functor
type Pointed
type SequenceType
- func SequenceFromTraverse[A, HKT_T_A, HKT_F_B, HKT_F_T_B any](...) SequenceType[HKT_T_A, HKT_F_T_B]
type TraverseType

Constants ¶

This section is empty.

Variables ¶

This section is empty.

Functions ¶

func ComposeTraverse ¶

func ComposeTraverse[
	A,
	B,
	HKT_F_B,
	HKT_G_A,
	HKT_G_B,
	HKT_T_G_A,
	HKT_T_G_B,
	HKT_F_G_B,
	HKT_F_T_G_B,
	HKT_F_T_A_B any](
	t TraverseType[HKT_G_A, HKT_G_B, HKT_T_G_A, HKT_T_G_B, HKT_F_G_B, HKT_F_T_G_B, HKT_F_T_A_B],
	g TraverseType[A, B, HKT_G_A, HKT_G_B, HKT_F_B, HKT_F_G_B, HKT_F_T_A_B],
) func(

	f_of pointed.OfType[HKT_T_G_B, HKT_F_T_G_B],
	f_map functor.MapType[HKT_T_G_B, func(HKT_G_B) HKT_T_G_B, HKT_F_T_G_B, HKT_F_T_A_B],
	f_ap apply.ApType[HKT_F_G_B, HKT_F_T_G_B, HKT_F_T_A_B],

	g_of pointed.OfType[HKT_G_B, HKT_F_G_B],
	g_map functor.MapType[HKT_G_B, func(B) HKT_G_B, HKT_F_G_B, HKT_F_T_A_B],
	g_ap apply.ApType[HKT_F_B, HKT_F_G_B, HKT_F_T_A_B],
) func(func(A) HKT_F_B) func(HKT_T_G_A) HKT_F_T_G_B

Types ¶

type Applicative ¶

type Applicative[A, B, HKT_A, HKT_B, HKT_AB any] = applicative.Applicative[A, B, HKT_A, HKT_B, HKT_AB]

type Functor ¶

type Functor[A, B, HKT_A, HKT_B any] = functor.Functor[A, B, HKT_A, HKT_B]

type Pointed ¶

type Pointed[A, HKT_A any] = pointed.Pointed[A, HKT_A]

type SequenceType ¶

type SequenceType[
	HKT_T_F_A,
	HKT_F_T_A any] = func(

	f_of pointed.OfType[HKT_T_F_A, HKT_F_T_A],
	f_map functor.MapType[HKT_T_F_A, func(HKT_T_F_A) HKT_T_F_A, HKT_F_T_A, HKT_T_F_A],
	f_ap apply.ApType[HKT_T_F_A, HKT_F_T_A, HKT_T_F_A],
) func(HKT_T_F_A) HKT_F_T_A

func SequenceFromTraverse ¶

func SequenceFromTraverse[
	A, HKT_T_A, HKT_F_B, HKT_F_T_B any](
	t TraverseType[HKT_T_A, HKT_T_A, HKT_T_A, HKT_T_A, HKT_T_A, HKT_F_T_B, HKT_T_A],
) SequenceType[HKT_T_A, HKT_F_T_B]

type TraverseType ¶

type TraverseType[A, B, HKT_T_A, HKT_T_B, HKT_F_B, HKT_F_T_B, HKT_F_T_A_B any] = func(

	f_of pointed.OfType[HKT_T_B, HKT_F_T_B],
	f_map functor.MapType[HKT_T_B, func(B) HKT_T_B, HKT_F_T_B, HKT_F_T_A_B],
	f_ap apply.ApType[HKT_F_B, HKT_F_T_B, HKT_F_T_A_B],

) func(func(A) HKT_F_B) func(HKT_T_A) HKT_F_T_B

Source Files ¶

View all Source files

types.go

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