apply

package
v1.0.150 Latest Latest
Warning

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

 Go to latest Published: Oct 13, 2024 License: Apache-2.0 Imports: 3 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func Ap added in v1.0.108 

func Ap[HKTGA, HKTGB, HKTGAB, HKTFGAB, HKTFGGAB, HKTFGA, HKTFGB any](
	fap func(HKTFGA) func(HKTFGGAB) HKTFGB,
	fmap func(func(HKTGAB) func(HKTGA) HKTGB) func(HKTFGAB) HKTFGGAB,
	gap func(HKTGA) func(HKTGAB) HKTGB,

	fa HKTFGA) func(HKTFGAB) HKTFGB

func ApFirst 

func ApFirst[HKTGA, HKTGB, HKTGBA, A, B any](
	fap func(HKTGBA, HKTGB) HKTGA,
	fmap func(HKTGA, func(A) func(B) A) HKTGBA,

	second HKTGB,
) func(HKTGA) HKTGA

func ApS added in v1.0.107 

func ApS[S1, S2, B, HKTBGBS2, HKTS1, HKTS2, HKTB any](
	fap func(HKTB) func(HKTBGBS2) HKTS2,
	fmap func(func(S1) func(B) S2) func(HKTS1) HKTBGBS2,
	key func(B) func(S1) S2,
	fb HKTB,
) func(HKTS1) HKTS2

func ApSecond 

func ApSecond[HKTGA, HKTGB, HKTGBB, A, B any](
	fap func(HKTGBB, HKTGB) HKTGB,
	fmap func(HKTGA, func(A) func(B) B) HKTGBB,

	second HKTGB,
) func(HKTGA) HKTGB

func MonadAp 

func MonadAp[HKTGA, HKTGB, HKTGAB, HKTFGAB, HKTFGGAB, HKTFGA, HKTFGB any](
	fap func(HKTFGGAB, HKTFGA) HKTFGB,
	fmap func(HKTFGAB, func(HKTGAB) func(HKTGA) HKTGB) HKTFGGAB,
	gap func(HKTGAB, HKTGA) HKTGB,

	fab HKTFGAB,
	fa HKTFGA) HKTFGB

func MonadApFirst 

func MonadApFirst[HKTGA, HKTGB, HKTGBA, A, B any](
	fap func(HKTGBA, HKTGB) HKTGA,
	fmap func(HKTGA, func(A) func(B) A) HKTGBA,

	first HKTGA,
	second HKTGB,
) HKTGA

func MonadApS added in v1.0.107 

func MonadApS[S1, S2, B, HKTBGBS2, HKTS1, HKTS2, HKTB any](
	fap func(HKTBGBS2, HKTB) HKTS2,
	fmap func(HKTS1, func(S1) func(B) S2) HKTBGBS2,
	fa HKTS1,
	key func(B) func(S1) S2,
	fb HKTB,
) HKTS2

func MonadApSecond 

func MonadApSecond[HKTGA, HKTGB, HKTGBB, A, B any](
	fap func(HKTGBB, HKTGB) HKTGB,
	fmap func(HKTGA, func(A) func(B) B) HKTGBB,

	first HKTGA,
	second HKTGB,
) HKTGB

func SequenceT1 

func SequenceT1[
	MAP ~func(func(T1) T.Tuple1[T1]) func(HKT_T1) HKT_TUPLE1,
	T1,
	HKT_T1,
	HKT_TUPLE1 any,
](
	fmap MAP,
	t1 HKT_T1,
) HKT_TUPLE1

SequenceT1 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes 1 higher higher kinded types and returns a higher kinded type of a [Tuple1] with the resolved values.

func SequenceT10 

func SequenceT10[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) T.Tuple10[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10) HKT_F_T4_T5_T6_T7_T8_T9_T10,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10) HKT_F_T5_T6_T7_T8_T9_T10,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10) HKT_F_T6_T7_T8_T9_T10,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10) HKT_F_T7_T8_T9_T10,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10) HKT_F_T8_T9_T10,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10) HKT_F_T9_T10,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10) HKT_F_T10,
	AP9 ~func(HKT_T10) func(HKT_F_T10) HKT_TUPLE10,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	T9,
	T10,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10,
	HKT_F_T4_T5_T6_T7_T8_T9_T10,
	HKT_F_T5_T6_T7_T8_T9_T10,
	HKT_F_T6_T7_T8_T9_T10,
	HKT_F_T7_T8_T9_T10,
	HKT_F_T8_T9_T10,
	HKT_F_T9_T10,
	HKT_F_T10,
	HKT_TUPLE10 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	t1 HKT_T1,
	t2 HKT_T2,
	t3 HKT_T3,
	t4 HKT_T4,
	t5 HKT_T5,
	t6 HKT_T6,
	t7 HKT_T7,
	t8 HKT_T8,
	t9 HKT_T9,
	t10 HKT_T10,
) HKT_TUPLE10

SequenceT10 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes 10 higher higher kinded types and returns a higher kinded type of a [Tuple10] with the resolved values.

func SequenceT11 added in v1.0.140 

func SequenceT11[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) func(T11) T.Tuple11[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11) HKT_F_T4_T5_T6_T7_T8_T9_T10_T11,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10_T11) HKT_F_T5_T6_T7_T8_T9_T10_T11,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10_T11) HKT_F_T6_T7_T8_T9_T10_T11,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10_T11) HKT_F_T7_T8_T9_T10_T11,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10_T11) HKT_F_T8_T9_T10_T11,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10_T11) HKT_F_T9_T10_T11,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10_T11) HKT_F_T10_T11,
	AP9 ~func(HKT_T10) func(HKT_F_T10_T11) HKT_F_T11,
	AP10 ~func(HKT_T11) func(HKT_F_T11) HKT_TUPLE11,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	T9,
	T10,
	T11,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_T11,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11,
	HKT_F_T4_T5_T6_T7_T8_T9_T10_T11,
	HKT_F_T5_T6_T7_T8_T9_T10_T11,
	HKT_F_T6_T7_T8_T9_T10_T11,
	HKT_F_T7_T8_T9_T10_T11,
	HKT_F_T8_T9_T10_T11,
	HKT_F_T9_T10_T11,
	HKT_F_T10_T11,
	HKT_F_T11,
	HKT_TUPLE11 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	fap10 AP10,
	t1 HKT_T1,
	t2 HKT_T2,
	t3 HKT_T3,
	t4 HKT_T4,
	t5 HKT_T5,
	t6 HKT_T6,
	t7 HKT_T7,
	t8 HKT_T8,
	t9 HKT_T9,
	t10 HKT_T10,
	t11 HKT_T11,
) HKT_TUPLE11

SequenceT11 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes 11 higher higher kinded types and returns a higher kinded type of a [Tuple11] with the resolved values.

func SequenceT12 added in v1.0.140 

func SequenceT12[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) func(T11) func(T12) T.Tuple12[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12) HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12) HKT_F_T5_T6_T7_T8_T9_T10_T11_T12,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10_T11_T12) HKT_F_T6_T7_T8_T9_T10_T11_T12,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10_T11_T12) HKT_F_T7_T8_T9_T10_T11_T12,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10_T11_T12) HKT_F_T8_T9_T10_T11_T12,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10_T11_T12) HKT_F_T9_T10_T11_T12,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10_T11_T12) HKT_F_T10_T11_T12,
	AP9 ~func(HKT_T10) func(HKT_F_T10_T11_T12) HKT_F_T11_T12,
	AP10 ~func(HKT_T11) func(HKT_F_T11_T12) HKT_F_T12,
	AP11 ~func(HKT_T12) func(HKT_F_T12) HKT_TUPLE12,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	T9,
	T10,
	T11,
	T12,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_T11,
	HKT_T12,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	HKT_F_T5_T6_T7_T8_T9_T10_T11_T12,
	HKT_F_T6_T7_T8_T9_T10_T11_T12,
	HKT_F_T7_T8_T9_T10_T11_T12,
	HKT_F_T8_T9_T10_T11_T12,
	HKT_F_T9_T10_T11_T12,
	HKT_F_T10_T11_T12,
	HKT_F_T11_T12,
	HKT_F_T12,
	HKT_TUPLE12 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	fap10 AP10,
	fap11 AP11,
	t1 HKT_T1,
	t2 HKT_T2,
	t3 HKT_T3,
	t4 HKT_T4,
	t5 HKT_T5,
	t6 HKT_T6,
	t7 HKT_T7,
	t8 HKT_T8,
	t9 HKT_T9,
	t10 HKT_T10,
	t11 HKT_T11,
	t12 HKT_T12,
) HKT_TUPLE12

SequenceT12 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes 12 higher higher kinded types and returns a higher kinded type of a [Tuple12] with the resolved values.

func SequenceT13 added in v1.0.140 

func SequenceT13[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) func(T11) func(T12) func(T13) T.Tuple13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13) HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13) HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13) HKT_F_T6_T7_T8_T9_T10_T11_T12_T13,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10_T11_T12_T13) HKT_F_T7_T8_T9_T10_T11_T12_T13,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10_T11_T12_T13) HKT_F_T8_T9_T10_T11_T12_T13,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10_T11_T12_T13) HKT_F_T9_T10_T11_T12_T13,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10_T11_T12_T13) HKT_F_T10_T11_T12_T13,
	AP9 ~func(HKT_T10) func(HKT_F_T10_T11_T12_T13) HKT_F_T11_T12_T13,
	AP10 ~func(HKT_T11) func(HKT_F_T11_T12_T13) HKT_F_T12_T13,
	AP11 ~func(HKT_T12) func(HKT_F_T12_T13) HKT_F_T13,
	AP12 ~func(HKT_T13) func(HKT_F_T13) HKT_TUPLE13,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	T9,
	T10,
	T11,
	T12,
	T13,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_T11,
	HKT_T12,
	HKT_T13,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T6_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T8_T9_T10_T11_T12_T13,
	HKT_F_T9_T10_T11_T12_T13,
	HKT_F_T10_T11_T12_T13,
	HKT_F_T11_T12_T13,
	HKT_F_T12_T13,
	HKT_F_T13,
	HKT_TUPLE13 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	fap10 AP10,
	fap11 AP11,
	fap12 AP12,
	t1 HKT_T1,
	t2 HKT_T2,
	t3 HKT_T3,
	t4 HKT_T4,
	t5 HKT_T5,
	t6 HKT_T6,
	t7 HKT_T7,
	t8 HKT_T8,
	t9 HKT_T9,
	t10 HKT_T10,
	t11 HKT_T11,
	t12 HKT_T12,
	t13 HKT_T13,
) HKT_TUPLE13

SequenceT13 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes 13 higher higher kinded types and returns a higher kinded type of a [Tuple13] with the resolved values.

func SequenceT14 added in v1.0.140 

func SequenceT14[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) func(T11) func(T12) func(T13) func(T14) T.Tuple14[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T7_T8_T9_T10_T11_T12_T13_T14,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T8_T9_T10_T11_T12_T13_T14,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10_T11_T12_T13_T14) HKT_F_T9_T10_T11_T12_T13_T14,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10_T11_T12_T13_T14) HKT_F_T10_T11_T12_T13_T14,
	AP9 ~func(HKT_T10) func(HKT_F_T10_T11_T12_T13_T14) HKT_F_T11_T12_T13_T14,
	AP10 ~func(HKT_T11) func(HKT_F_T11_T12_T13_T14) HKT_F_T12_T13_T14,
	AP11 ~func(HKT_T12) func(HKT_F_T12_T13_T14) HKT_F_T13_T14,
	AP12 ~func(HKT_T13) func(HKT_F_T13_T14) HKT_F_T14,
	AP13 ~func(HKT_T14) func(HKT_F_T14) HKT_TUPLE14,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	T9,
	T10,
	T11,
	T12,
	T13,
	T14,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_T11,
	HKT_T12,
	HKT_T13,
	HKT_T14,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T9_T10_T11_T12_T13_T14,
	HKT_F_T10_T11_T12_T13_T14,
	HKT_F_T11_T12_T13_T14,
	HKT_F_T12_T13_T14,
	HKT_F_T13_T14,
	HKT_F_T14,
	HKT_TUPLE14 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	fap10 AP10,
	fap11 AP11,
	fap12 AP12,
	fap13 AP13,
	t1 HKT_T1,
	t2 HKT_T2,
	t3 HKT_T3,
	t4 HKT_T4,
	t5 HKT_T5,
	t6 HKT_T6,
	t7 HKT_T7,
	t8 HKT_T8,
	t9 HKT_T9,
	t10 HKT_T10,
	t11 HKT_T11,
	t12 HKT_T12,
	t13 HKT_T13,
	t14 HKT_T14,
) HKT_TUPLE14

SequenceT14 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes 14 higher higher kinded types and returns a higher kinded type of a [Tuple14] with the resolved values.

func SequenceT15 added in v1.0.140 

func SequenceT15[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) func(T11) func(T12) func(T13) func(T14) func(T15) T.Tuple15[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T8_T9_T10_T11_T12_T13_T14_T15,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T9_T10_T11_T12_T13_T14_T15,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10_T11_T12_T13_T14_T15) HKT_F_T10_T11_T12_T13_T14_T15,
	AP9 ~func(HKT_T10) func(HKT_F_T10_T11_T12_T13_T14_T15) HKT_F_T11_T12_T13_T14_T15,
	AP10 ~func(HKT_T11) func(HKT_F_T11_T12_T13_T14_T15) HKT_F_T12_T13_T14_T15,
	AP11 ~func(HKT_T12) func(HKT_F_T12_T13_T14_T15) HKT_F_T13_T14_T15,
	AP12 ~func(HKT_T13) func(HKT_F_T13_T14_T15) HKT_F_T14_T15,
	AP13 ~func(HKT_T14) func(HKT_F_T14_T15) HKT_F_T15,
	AP14 ~func(HKT_T15) func(HKT_F_T15) HKT_TUPLE15,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	T9,
	T10,
	T11,
	T12,
	T13,
	T14,
	T15,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_T11,
	HKT_T12,
	HKT_T13,
	HKT_T14,
	HKT_T15,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T10_T11_T12_T13_T14_T15,
	HKT_F_T11_T12_T13_T14_T15,
	HKT_F_T12_T13_T14_T15,
	HKT_F_T13_T14_T15,
	HKT_F_T14_T15,
	HKT_F_T15,
	HKT_TUPLE15 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	fap10 AP10,
	fap11 AP11,
	fap12 AP12,
	fap13 AP13,
	fap14 AP14,
	t1 HKT_T1,
	t2 HKT_T2,
	t3 HKT_T3,
	t4 HKT_T4,
	t5 HKT_T5,
	t6 HKT_T6,
	t7 HKT_T7,
	t8 HKT_T8,
	t9 HKT_T9,
	t10 HKT_T10,
	t11 HKT_T11,
	t12 HKT_T12,
	t13 HKT_T13,
	t14 HKT_T14,
	t15 HKT_T15,
) HKT_TUPLE15

SequenceT15 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes 15 higher higher kinded types and returns a higher kinded type of a [Tuple15] with the resolved values.

func SequenceT2 

func SequenceT2[
	MAP ~func(func(T1) func(T2) T.Tuple2[T1, T2]) func(HKT_T1) HKT_F_T2,
	AP1 ~func(HKT_T2) func(HKT_F_T2) HKT_TUPLE2,
	T1,
	T2,
	HKT_T1,
	HKT_T2,
	HKT_F_T2,
	HKT_TUPLE2 any,
](
	fmap MAP,
	fap1 AP1,
	t1 HKT_T1,
	t2 HKT_T2,
) HKT_TUPLE2

SequenceT2 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes 2 higher higher kinded types and returns a higher kinded type of a [Tuple2] with the resolved values.

func SequenceT3 

func SequenceT3[
	MAP ~func(func(T1) func(T2) func(T3) T.Tuple3[T1, T2, T3]) func(HKT_T1) HKT_F_T2_T3,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3) HKT_F_T3,
	AP2 ~func(HKT_T3) func(HKT_F_T3) HKT_TUPLE3,
	T1,
	T2,
	T3,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_F_T2_T3,
	HKT_F_T3,
	HKT_TUPLE3 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	t1 HKT_T1,
	t2 HKT_T2,
	t3 HKT_T3,
) HKT_TUPLE3

SequenceT3 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes 3 higher higher kinded types and returns a higher kinded type of a [Tuple3] with the resolved values.

func SequenceT4 

func SequenceT4[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) T.Tuple4[T1, T2, T3, T4]) func(HKT_T1) HKT_F_T2_T3_T4,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4) HKT_F_T3_T4,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4) HKT_F_T4,
	AP3 ~func(HKT_T4) func(HKT_F_T4) HKT_TUPLE4,
	T1,
	T2,
	T3,
	T4,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_F_T2_T3_T4,
	HKT_F_T3_T4,
	HKT_F_T4,
	HKT_TUPLE4 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	t1 HKT_T1,
	t2 HKT_T2,
	t3 HKT_T3,
	t4 HKT_T4,
) HKT_TUPLE4

SequenceT4 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes 4 higher higher kinded types and returns a higher kinded type of a [Tuple4] with the resolved values.

func SequenceT5 

func SequenceT5[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) T.Tuple5[T1, T2, T3, T4, T5]) func(HKT_T1) HKT_F_T2_T3_T4_T5,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5) HKT_F_T3_T4_T5,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5) HKT_F_T4_T5,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5) HKT_F_T5,
	AP4 ~func(HKT_T5) func(HKT_F_T5) HKT_TUPLE5,
	T1,
	T2,
	T3,
	T4,
	T5,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_F_T2_T3_T4_T5,
	HKT_F_T3_T4_T5,
	HKT_F_T4_T5,
	HKT_F_T5,
	HKT_TUPLE5 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	t1 HKT_T1,
	t2 HKT_T2,
	t3 HKT_T3,
	t4 HKT_T4,
	t5 HKT_T5,
) HKT_TUPLE5

SequenceT5 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes 5 higher higher kinded types and returns a higher kinded type of a [Tuple5] with the resolved values.

func SequenceT6 

func SequenceT6[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) T.Tuple6[T1, T2, T3, T4, T5, T6]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6) HKT_F_T3_T4_T5_T6,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6) HKT_F_T4_T5_T6,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6) HKT_F_T5_T6,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6) HKT_F_T6,
	AP5 ~func(HKT_T6) func(HKT_F_T6) HKT_TUPLE6,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_F_T2_T3_T4_T5_T6,
	HKT_F_T3_T4_T5_T6,
	HKT_F_T4_T5_T6,
	HKT_F_T5_T6,
	HKT_F_T6,
	HKT_TUPLE6 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	t1 HKT_T1,
	t2 HKT_T2,
	t3 HKT_T3,
	t4 HKT_T4,
	t5 HKT_T5,
	t6 HKT_T6,
) HKT_TUPLE6

SequenceT6 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes 6 higher higher kinded types and returns a higher kinded type of a [Tuple6] with the resolved values.

func SequenceT7 

func SequenceT7[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) T.Tuple7[T1, T2, T3, T4, T5, T6, T7]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7) HKT_F_T3_T4_T5_T6_T7,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7) HKT_F_T4_T5_T6_T7,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7) HKT_F_T5_T6_T7,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7) HKT_F_T6_T7,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7) HKT_F_T7,
	AP6 ~func(HKT_T7) func(HKT_F_T7) HKT_TUPLE7,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_F_T2_T3_T4_T5_T6_T7,
	HKT_F_T3_T4_T5_T6_T7,
	HKT_F_T4_T5_T6_T7,
	HKT_F_T5_T6_T7,
	HKT_F_T6_T7,
	HKT_F_T7,
	HKT_TUPLE7 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	t1 HKT_T1,
	t2 HKT_T2,
	t3 HKT_T3,
	t4 HKT_T4,
	t5 HKT_T5,
	t6 HKT_T6,
	t7 HKT_T7,
) HKT_TUPLE7

SequenceT7 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes 7 higher higher kinded types and returns a higher kinded type of a [Tuple7] with the resolved values.

func SequenceT8 

func SequenceT8[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) T.Tuple8[T1, T2, T3, T4, T5, T6, T7, T8]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8) HKT_F_T3_T4_T5_T6_T7_T8,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8) HKT_F_T4_T5_T6_T7_T8,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8) HKT_F_T5_T6_T7_T8,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8) HKT_F_T6_T7_T8,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8) HKT_F_T7_T8,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8) HKT_F_T8,
	AP7 ~func(HKT_T8) func(HKT_F_T8) HKT_TUPLE8,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_F_T2_T3_T4_T5_T6_T7_T8,
	HKT_F_T3_T4_T5_T6_T7_T8,
	HKT_F_T4_T5_T6_T7_T8,
	HKT_F_T5_T6_T7_T8,
	HKT_F_T6_T7_T8,
	HKT_F_T7_T8,
	HKT_F_T8,
	HKT_TUPLE8 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	t1 HKT_T1,
	t2 HKT_T2,
	t3 HKT_T3,
	t4 HKT_T4,
	t5 HKT_T5,
	t6 HKT_T6,
	t7 HKT_T7,
	t8 HKT_T8,
) HKT_TUPLE8

SequenceT8 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes 8 higher higher kinded types and returns a higher kinded type of a [Tuple8] with the resolved values.

func SequenceT9 

func SequenceT9[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) T.Tuple9[T1, T2, T3, T4, T5, T6, T7, T8, T9]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9) HKT_F_T3_T4_T5_T6_T7_T8_T9,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9) HKT_F_T4_T5_T6_T7_T8_T9,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9) HKT_F_T5_T6_T7_T8_T9,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9) HKT_F_T6_T7_T8_T9,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9) HKT_F_T7_T8_T9,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9) HKT_F_T8_T9,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9) HKT_F_T9,
	AP8 ~func(HKT_T9) func(HKT_F_T9) HKT_TUPLE9,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	T9,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9,
	HKT_F_T3_T4_T5_T6_T7_T8_T9,
	HKT_F_T4_T5_T6_T7_T8_T9,
	HKT_F_T5_T6_T7_T8_T9,
	HKT_F_T6_T7_T8_T9,
	HKT_F_T7_T8_T9,
	HKT_F_T8_T9,
	HKT_F_T9,
	HKT_TUPLE9 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	t1 HKT_T1,
	t2 HKT_T2,
	t3 HKT_T3,
	t4 HKT_T4,
	t5 HKT_T5,
	t6 HKT_T6,
	t7 HKT_T7,
	t8 HKT_T8,
	t9 HKT_T9,
) HKT_TUPLE9

SequenceT9 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes 9 higher higher kinded types and returns a higher kinded type of a [Tuple9] with the resolved values.

func SequenceTuple1 

func SequenceTuple1[
	MAP ~func(func(T1) T.Tuple1[T1]) func(HKT_T1) HKT_TUPLE1,
	T1,
	HKT_T1,
	HKT_TUPLE1 any,
](
	fmap MAP,
	t T.Tuple1[HKT_T1],
) HKT_TUPLE1

SequenceTuple1 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple1] of higher higher kinded types and returns a higher kinded type of a [Tuple1] with the resolved values.

func SequenceTuple10 

func SequenceTuple10[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) T.Tuple10[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10) HKT_F_T4_T5_T6_T7_T8_T9_T10,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10) HKT_F_T5_T6_T7_T8_T9_T10,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10) HKT_F_T6_T7_T8_T9_T10,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10) HKT_F_T7_T8_T9_T10,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10) HKT_F_T8_T9_T10,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10) HKT_F_T9_T10,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10) HKT_F_T10,
	AP9 ~func(HKT_T10) func(HKT_F_T10) HKT_TUPLE10,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	T9,
	T10,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10,
	HKT_F_T4_T5_T6_T7_T8_T9_T10,
	HKT_F_T5_T6_T7_T8_T9_T10,
	HKT_F_T6_T7_T8_T9_T10,
	HKT_F_T7_T8_T9_T10,
	HKT_F_T8_T9_T10,
	HKT_F_T9_T10,
	HKT_F_T10,
	HKT_TUPLE10 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	t T.Tuple10[HKT_T1, HKT_T2, HKT_T3, HKT_T4, HKT_T5, HKT_T6, HKT_T7, HKT_T8, HKT_T9, HKT_T10],
) HKT_TUPLE10

SequenceTuple10 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple10] of higher higher kinded types and returns a higher kinded type of a [Tuple10] with the resolved values.

func SequenceTuple11 added in v1.0.140 

func SequenceTuple11[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) func(T11) T.Tuple11[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11) HKT_F_T4_T5_T6_T7_T8_T9_T10_T11,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10_T11) HKT_F_T5_T6_T7_T8_T9_T10_T11,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10_T11) HKT_F_T6_T7_T8_T9_T10_T11,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10_T11) HKT_F_T7_T8_T9_T10_T11,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10_T11) HKT_F_T8_T9_T10_T11,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10_T11) HKT_F_T9_T10_T11,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10_T11) HKT_F_T10_T11,
	AP9 ~func(HKT_T10) func(HKT_F_T10_T11) HKT_F_T11,
	AP10 ~func(HKT_T11) func(HKT_F_T11) HKT_TUPLE11,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	T9,
	T10,
	T11,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_T11,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11,
	HKT_F_T4_T5_T6_T7_T8_T9_T10_T11,
	HKT_F_T5_T6_T7_T8_T9_T10_T11,
	HKT_F_T6_T7_T8_T9_T10_T11,
	HKT_F_T7_T8_T9_T10_T11,
	HKT_F_T8_T9_T10_T11,
	HKT_F_T9_T10_T11,
	HKT_F_T10_T11,
	HKT_F_T11,
	HKT_TUPLE11 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	fap10 AP10,
	t T.Tuple11[HKT_T1, HKT_T2, HKT_T3, HKT_T4, HKT_T5, HKT_T6, HKT_T7, HKT_T8, HKT_T9, HKT_T10, HKT_T11],
) HKT_TUPLE11

SequenceTuple11 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple11] of higher higher kinded types and returns a higher kinded type of a [Tuple11] with the resolved values.

func SequenceTuple12 added in v1.0.140 

func SequenceTuple12[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) func(T11) func(T12) T.Tuple12[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12) HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12) HKT_F_T5_T6_T7_T8_T9_T10_T11_T12,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10_T11_T12) HKT_F_T6_T7_T8_T9_T10_T11_T12,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10_T11_T12) HKT_F_T7_T8_T9_T10_T11_T12,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10_T11_T12) HKT_F_T8_T9_T10_T11_T12,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10_T11_T12) HKT_F_T9_T10_T11_T12,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10_T11_T12) HKT_F_T10_T11_T12,
	AP9 ~func(HKT_T10) func(HKT_F_T10_T11_T12) HKT_F_T11_T12,
	AP10 ~func(HKT_T11) func(HKT_F_T11_T12) HKT_F_T12,
	AP11 ~func(HKT_T12) func(HKT_F_T12) HKT_TUPLE12,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	T9,
	T10,
	T11,
	T12,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_T11,
	HKT_T12,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	HKT_F_T5_T6_T7_T8_T9_T10_T11_T12,
	HKT_F_T6_T7_T8_T9_T10_T11_T12,
	HKT_F_T7_T8_T9_T10_T11_T12,
	HKT_F_T8_T9_T10_T11_T12,
	HKT_F_T9_T10_T11_T12,
	HKT_F_T10_T11_T12,
	HKT_F_T11_T12,
	HKT_F_T12,
	HKT_TUPLE12 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	fap10 AP10,
	fap11 AP11,
	t T.Tuple12[HKT_T1, HKT_T2, HKT_T3, HKT_T4, HKT_T5, HKT_T6, HKT_T7, HKT_T8, HKT_T9, HKT_T10, HKT_T11, HKT_T12],
) HKT_TUPLE12

SequenceTuple12 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple12] of higher higher kinded types and returns a higher kinded type of a [Tuple12] with the resolved values.

func SequenceTuple13 added in v1.0.140 

func SequenceTuple13[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) func(T11) func(T12) func(T13) T.Tuple13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13) HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13) HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13) HKT_F_T6_T7_T8_T9_T10_T11_T12_T13,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10_T11_T12_T13) HKT_F_T7_T8_T9_T10_T11_T12_T13,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10_T11_T12_T13) HKT_F_T8_T9_T10_T11_T12_T13,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10_T11_T12_T13) HKT_F_T9_T10_T11_T12_T13,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10_T11_T12_T13) HKT_F_T10_T11_T12_T13,
	AP9 ~func(HKT_T10) func(HKT_F_T10_T11_T12_T13) HKT_F_T11_T12_T13,
	AP10 ~func(HKT_T11) func(HKT_F_T11_T12_T13) HKT_F_T12_T13,
	AP11 ~func(HKT_T12) func(HKT_F_T12_T13) HKT_F_T13,
	AP12 ~func(HKT_T13) func(HKT_F_T13) HKT_TUPLE13,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	T9,
	T10,
	T11,
	T12,
	T13,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_T11,
	HKT_T12,
	HKT_T13,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T6_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T8_T9_T10_T11_T12_T13,
	HKT_F_T9_T10_T11_T12_T13,
	HKT_F_T10_T11_T12_T13,
	HKT_F_T11_T12_T13,
	HKT_F_T12_T13,
	HKT_F_T13,
	HKT_TUPLE13 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	fap10 AP10,
	fap11 AP11,
	fap12 AP12,
	t T.Tuple13[HKT_T1, HKT_T2, HKT_T3, HKT_T4, HKT_T5, HKT_T6, HKT_T7, HKT_T8, HKT_T9, HKT_T10, HKT_T11, HKT_T12, HKT_T13],
) HKT_TUPLE13

SequenceTuple13 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple13] of higher higher kinded types and returns a higher kinded type of a [Tuple13] with the resolved values.

func SequenceTuple14 added in v1.0.140 

func SequenceTuple14[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) func(T11) func(T12) func(T13) func(T14) T.Tuple14[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T7_T8_T9_T10_T11_T12_T13_T14,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T8_T9_T10_T11_T12_T13_T14,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10_T11_T12_T13_T14) HKT_F_T9_T10_T11_T12_T13_T14,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10_T11_T12_T13_T14) HKT_F_T10_T11_T12_T13_T14,
	AP9 ~func(HKT_T10) func(HKT_F_T10_T11_T12_T13_T14) HKT_F_T11_T12_T13_T14,
	AP10 ~func(HKT_T11) func(HKT_F_T11_T12_T13_T14) HKT_F_T12_T13_T14,
	AP11 ~func(HKT_T12) func(HKT_F_T12_T13_T14) HKT_F_T13_T14,
	AP12 ~func(HKT_T13) func(HKT_F_T13_T14) HKT_F_T14,
	AP13 ~func(HKT_T14) func(HKT_F_T14) HKT_TUPLE14,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	T9,
	T10,
	T11,
	T12,
	T13,
	T14,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_T11,
	HKT_T12,
	HKT_T13,
	HKT_T14,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T9_T10_T11_T12_T13_T14,
	HKT_F_T10_T11_T12_T13_T14,
	HKT_F_T11_T12_T13_T14,
	HKT_F_T12_T13_T14,
	HKT_F_T13_T14,
	HKT_F_T14,
	HKT_TUPLE14 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	fap10 AP10,
	fap11 AP11,
	fap12 AP12,
	fap13 AP13,
	t T.Tuple14[HKT_T1, HKT_T2, HKT_T3, HKT_T4, HKT_T5, HKT_T6, HKT_T7, HKT_T8, HKT_T9, HKT_T10, HKT_T11, HKT_T12, HKT_T13, HKT_T14],
) HKT_TUPLE14

SequenceTuple14 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple14] of higher higher kinded types and returns a higher kinded type of a [Tuple14] with the resolved values.

func SequenceTuple15 added in v1.0.140 

func SequenceTuple15[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) func(T11) func(T12) func(T13) func(T14) func(T15) T.Tuple15[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T8_T9_T10_T11_T12_T13_T14_T15,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T9_T10_T11_T12_T13_T14_T15,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10_T11_T12_T13_T14_T15) HKT_F_T10_T11_T12_T13_T14_T15,
	AP9 ~func(HKT_T10) func(HKT_F_T10_T11_T12_T13_T14_T15) HKT_F_T11_T12_T13_T14_T15,
	AP10 ~func(HKT_T11) func(HKT_F_T11_T12_T13_T14_T15) HKT_F_T12_T13_T14_T15,
	AP11 ~func(HKT_T12) func(HKT_F_T12_T13_T14_T15) HKT_F_T13_T14_T15,
	AP12 ~func(HKT_T13) func(HKT_F_T13_T14_T15) HKT_F_T14_T15,
	AP13 ~func(HKT_T14) func(HKT_F_T14_T15) HKT_F_T15,
	AP14 ~func(HKT_T15) func(HKT_F_T15) HKT_TUPLE15,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	T9,
	T10,
	T11,
	T12,
	T13,
	T14,
	T15,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_T11,
	HKT_T12,
	HKT_T13,
	HKT_T14,
	HKT_T15,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T10_T11_T12_T13_T14_T15,
	HKT_F_T11_T12_T13_T14_T15,
	HKT_F_T12_T13_T14_T15,
	HKT_F_T13_T14_T15,
	HKT_F_T14_T15,
	HKT_F_T15,
	HKT_TUPLE15 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	fap10 AP10,
	fap11 AP11,
	fap12 AP12,
	fap13 AP13,
	fap14 AP14,
	t T.Tuple15[HKT_T1, HKT_T2, HKT_T3, HKT_T4, HKT_T5, HKT_T6, HKT_T7, HKT_T8, HKT_T9, HKT_T10, HKT_T11, HKT_T12, HKT_T13, HKT_T14, HKT_T15],
) HKT_TUPLE15

SequenceTuple15 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple15] of higher higher kinded types and returns a higher kinded type of a [Tuple15] with the resolved values.

func SequenceTuple2 

func SequenceTuple2[
	MAP ~func(func(T1) func(T2) T.Tuple2[T1, T2]) func(HKT_T1) HKT_F_T2,
	AP1 ~func(HKT_T2) func(HKT_F_T2) HKT_TUPLE2,
	T1,
	T2,
	HKT_T1,
	HKT_T2,
	HKT_F_T2,
	HKT_TUPLE2 any,
](
	fmap MAP,
	fap1 AP1,
	t T.Tuple2[HKT_T1, HKT_T2],
) HKT_TUPLE2

SequenceTuple2 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple2] of higher higher kinded types and returns a higher kinded type of a [Tuple2] with the resolved values.

func SequenceTuple3 

func SequenceTuple3[
	MAP ~func(func(T1) func(T2) func(T3) T.Tuple3[T1, T2, T3]) func(HKT_T1) HKT_F_T2_T3,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3) HKT_F_T3,
	AP2 ~func(HKT_T3) func(HKT_F_T3) HKT_TUPLE3,
	T1,
	T2,
	T3,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_F_T2_T3,
	HKT_F_T3,
	HKT_TUPLE3 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	t T.Tuple3[HKT_T1, HKT_T2, HKT_T3],
) HKT_TUPLE3

SequenceTuple3 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple3] of higher higher kinded types and returns a higher kinded type of a [Tuple3] with the resolved values.

func SequenceTuple4 

func SequenceTuple4[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) T.Tuple4[T1, T2, T3, T4]) func(HKT_T1) HKT_F_T2_T3_T4,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4) HKT_F_T3_T4,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4) HKT_F_T4,
	AP3 ~func(HKT_T4) func(HKT_F_T4) HKT_TUPLE4,
	T1,
	T2,
	T3,
	T4,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_F_T2_T3_T4,
	HKT_F_T3_T4,
	HKT_F_T4,
	HKT_TUPLE4 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	t T.Tuple4[HKT_T1, HKT_T2, HKT_T3, HKT_T4],
) HKT_TUPLE4

SequenceTuple4 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple4] of higher higher kinded types and returns a higher kinded type of a [Tuple4] with the resolved values.

func SequenceTuple5 

func SequenceTuple5[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) T.Tuple5[T1, T2, T3, T4, T5]) func(HKT_T1) HKT_F_T2_T3_T4_T5,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5) HKT_F_T3_T4_T5,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5) HKT_F_T4_T5,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5) HKT_F_T5,
	AP4 ~func(HKT_T5) func(HKT_F_T5) HKT_TUPLE5,
	T1,
	T2,
	T3,
	T4,
	T5,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_F_T2_T3_T4_T5,
	HKT_F_T3_T4_T5,
	HKT_F_T4_T5,
	HKT_F_T5,
	HKT_TUPLE5 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	t T.Tuple5[HKT_T1, HKT_T2, HKT_T3, HKT_T4, HKT_T5],
) HKT_TUPLE5

SequenceTuple5 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple5] of higher higher kinded types and returns a higher kinded type of a [Tuple5] with the resolved values.

func SequenceTuple6 

func SequenceTuple6[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) T.Tuple6[T1, T2, T3, T4, T5, T6]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6) HKT_F_T3_T4_T5_T6,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6) HKT_F_T4_T5_T6,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6) HKT_F_T5_T6,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6) HKT_F_T6,
	AP5 ~func(HKT_T6) func(HKT_F_T6) HKT_TUPLE6,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_F_T2_T3_T4_T5_T6,
	HKT_F_T3_T4_T5_T6,
	HKT_F_T4_T5_T6,
	HKT_F_T5_T6,
	HKT_F_T6,
	HKT_TUPLE6 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	t T.Tuple6[HKT_T1, HKT_T2, HKT_T3, HKT_T4, HKT_T5, HKT_T6],
) HKT_TUPLE6

SequenceTuple6 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple6] of higher higher kinded types and returns a higher kinded type of a [Tuple6] with the resolved values.

func SequenceTuple7 

func SequenceTuple7[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) T.Tuple7[T1, T2, T3, T4, T5, T6, T7]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7) HKT_F_T3_T4_T5_T6_T7,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7) HKT_F_T4_T5_T6_T7,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7) HKT_F_T5_T6_T7,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7) HKT_F_T6_T7,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7) HKT_F_T7,
	AP6 ~func(HKT_T7) func(HKT_F_T7) HKT_TUPLE7,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_F_T2_T3_T4_T5_T6_T7,
	HKT_F_T3_T4_T5_T6_T7,
	HKT_F_T4_T5_T6_T7,
	HKT_F_T5_T6_T7,
	HKT_F_T6_T7,
	HKT_F_T7,
	HKT_TUPLE7 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	t T.Tuple7[HKT_T1, HKT_T2, HKT_T3, HKT_T4, HKT_T5, HKT_T6, HKT_T7],
) HKT_TUPLE7

SequenceTuple7 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple7] of higher higher kinded types and returns a higher kinded type of a [Tuple7] with the resolved values.

func SequenceTuple8 

func SequenceTuple8[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) T.Tuple8[T1, T2, T3, T4, T5, T6, T7, T8]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8) HKT_F_T3_T4_T5_T6_T7_T8,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8) HKT_F_T4_T5_T6_T7_T8,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8) HKT_F_T5_T6_T7_T8,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8) HKT_F_T6_T7_T8,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8) HKT_F_T7_T8,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8) HKT_F_T8,
	AP7 ~func(HKT_T8) func(HKT_F_T8) HKT_TUPLE8,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_F_T2_T3_T4_T5_T6_T7_T8,
	HKT_F_T3_T4_T5_T6_T7_T8,
	HKT_F_T4_T5_T6_T7_T8,
	HKT_F_T5_T6_T7_T8,
	HKT_F_T6_T7_T8,
	HKT_F_T7_T8,
	HKT_F_T8,
	HKT_TUPLE8 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	t T.Tuple8[HKT_T1, HKT_T2, HKT_T3, HKT_T4, HKT_T5, HKT_T6, HKT_T7, HKT_T8],
) HKT_TUPLE8

SequenceTuple8 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple8] of higher higher kinded types and returns a higher kinded type of a [Tuple8] with the resolved values.

func SequenceTuple9 

func SequenceTuple9[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) T.Tuple9[T1, T2, T3, T4, T5, T6, T7, T8, T9]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9) HKT_F_T3_T4_T5_T6_T7_T8_T9,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9) HKT_F_T4_T5_T6_T7_T8_T9,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9) HKT_F_T5_T6_T7_T8_T9,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9) HKT_F_T6_T7_T8_T9,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9) HKT_F_T7_T8_T9,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9) HKT_F_T8_T9,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9) HKT_F_T9,
	AP8 ~func(HKT_T9) func(HKT_F_T9) HKT_TUPLE9,
	T1,
	T2,
	T3,
	T4,
	T5,
	T6,
	T7,
	T8,
	T9,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9,
	HKT_F_T3_T4_T5_T6_T7_T8_T9,
	HKT_F_T4_T5_T6_T7_T8_T9,
	HKT_F_T5_T6_T7_T8_T9,
	HKT_F_T6_T7_T8_T9,
	HKT_F_T7_T8_T9,
	HKT_F_T8_T9,
	HKT_F_T9,
	HKT_TUPLE9 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	t T.Tuple9[HKT_T1, HKT_T2, HKT_T3, HKT_T4, HKT_T5, HKT_T6, HKT_T7, HKT_T8, HKT_T9],
) HKT_TUPLE9

SequenceTuple9 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple9] of higher higher kinded types and returns a higher kinded type of a [Tuple9] with the resolved values.

func ToFunctor added in v1.0.127 

func ToFunctor[A, B, HKTA, HKTB, HKTFAB any](ap Apply[A, B, HKTA, HKTB, HKTFAB]) functor.Functor[A, B, HKTA, HKTB]

ToFunctor converts from Apply to functor.Functor

func TraverseTuple1 

func TraverseTuple1[
	MAP ~func(func(T1) T.Tuple1[T1]) func(HKT_T1) HKT_TUPLE1,
	F1 ~func(A1) HKT_T1,
	A1, T1,
	HKT_T1,
	HKT_TUPLE1 any,
](
	fmap MAP,
	f1 F1,
	t T.Tuple1[A1],
) HKT_TUPLE1

TraverseTuple1 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple1] of base types and 1 functions that transform these based types into higher higher kinded types. It returns a higher kinded type of a [Tuple1] with the resolved values.

func TraverseTuple10 

func TraverseTuple10[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) T.Tuple10[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10) HKT_F_T4_T5_T6_T7_T8_T9_T10,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10) HKT_F_T5_T6_T7_T8_T9_T10,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10) HKT_F_T6_T7_T8_T9_T10,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10) HKT_F_T7_T8_T9_T10,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10) HKT_F_T8_T9_T10,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10) HKT_F_T9_T10,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10) HKT_F_T10,
	AP9 ~func(HKT_T10) func(HKT_F_T10) HKT_TUPLE10,
	F1 ~func(A1) HKT_T1,
	F2 ~func(A2) HKT_T2,
	F3 ~func(A3) HKT_T3,
	F4 ~func(A4) HKT_T4,
	F5 ~func(A5) HKT_T5,
	F6 ~func(A6) HKT_T6,
	F7 ~func(A7) HKT_T7,
	F8 ~func(A8) HKT_T8,
	F9 ~func(A9) HKT_T9,
	F10 ~func(A10) HKT_T10,
	A1, T1,
	A2, T2,
	A3, T3,
	A4, T4,
	A5, T5,
	A6, T6,
	A7, T7,
	A8, T8,
	A9, T9,
	A10, T10,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10,
	HKT_F_T4_T5_T6_T7_T8_T9_T10,
	HKT_F_T5_T6_T7_T8_T9_T10,
	HKT_F_T6_T7_T8_T9_T10,
	HKT_F_T7_T8_T9_T10,
	HKT_F_T8_T9_T10,
	HKT_F_T9_T10,
	HKT_F_T10,
	HKT_TUPLE10 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	f1 F1,
	f2 F2,
	f3 F3,
	f4 F4,
	f5 F5,
	f6 F6,
	f7 F7,
	f8 F8,
	f9 F9,
	f10 F10,
	t T.Tuple10[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10],
) HKT_TUPLE10

TraverseTuple10 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple10] of base types and 10 functions that transform these based types into higher higher kinded types. It returns a higher kinded type of a [Tuple10] with the resolved values.

func TraverseTuple11 added in v1.0.140 

func TraverseTuple11[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) func(T11) T.Tuple11[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11) HKT_F_T4_T5_T6_T7_T8_T9_T10_T11,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10_T11) HKT_F_T5_T6_T7_T8_T9_T10_T11,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10_T11) HKT_F_T6_T7_T8_T9_T10_T11,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10_T11) HKT_F_T7_T8_T9_T10_T11,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10_T11) HKT_F_T8_T9_T10_T11,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10_T11) HKT_F_T9_T10_T11,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10_T11) HKT_F_T10_T11,
	AP9 ~func(HKT_T10) func(HKT_F_T10_T11) HKT_F_T11,
	AP10 ~func(HKT_T11) func(HKT_F_T11) HKT_TUPLE11,
	F1 ~func(A1) HKT_T1,
	F2 ~func(A2) HKT_T2,
	F3 ~func(A3) HKT_T3,
	F4 ~func(A4) HKT_T4,
	F5 ~func(A5) HKT_T5,
	F6 ~func(A6) HKT_T6,
	F7 ~func(A7) HKT_T7,
	F8 ~func(A8) HKT_T8,
	F9 ~func(A9) HKT_T9,
	F10 ~func(A10) HKT_T10,
	F11 ~func(A11) HKT_T11,
	A1, T1,
	A2, T2,
	A3, T3,
	A4, T4,
	A5, T5,
	A6, T6,
	A7, T7,
	A8, T8,
	A9, T9,
	A10, T10,
	A11, T11,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_T11,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11,
	HKT_F_T4_T5_T6_T7_T8_T9_T10_T11,
	HKT_F_T5_T6_T7_T8_T9_T10_T11,
	HKT_F_T6_T7_T8_T9_T10_T11,
	HKT_F_T7_T8_T9_T10_T11,
	HKT_F_T8_T9_T10_T11,
	HKT_F_T9_T10_T11,
	HKT_F_T10_T11,
	HKT_F_T11,
	HKT_TUPLE11 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	fap10 AP10,
	f1 F1,
	f2 F2,
	f3 F3,
	f4 F4,
	f5 F5,
	f6 F6,
	f7 F7,
	f8 F8,
	f9 F9,
	f10 F10,
	f11 F11,
	t T.Tuple11[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11],
) HKT_TUPLE11

TraverseTuple11 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple11] of base types and 11 functions that transform these based types into higher higher kinded types. It returns a higher kinded type of a [Tuple11] with the resolved values.

func TraverseTuple12 added in v1.0.140 

func TraverseTuple12[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) func(T11) func(T12) T.Tuple12[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12) HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12) HKT_F_T5_T6_T7_T8_T9_T10_T11_T12,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10_T11_T12) HKT_F_T6_T7_T8_T9_T10_T11_T12,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10_T11_T12) HKT_F_T7_T8_T9_T10_T11_T12,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10_T11_T12) HKT_F_T8_T9_T10_T11_T12,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10_T11_T12) HKT_F_T9_T10_T11_T12,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10_T11_T12) HKT_F_T10_T11_T12,
	AP9 ~func(HKT_T10) func(HKT_F_T10_T11_T12) HKT_F_T11_T12,
	AP10 ~func(HKT_T11) func(HKT_F_T11_T12) HKT_F_T12,
	AP11 ~func(HKT_T12) func(HKT_F_T12) HKT_TUPLE12,
	F1 ~func(A1) HKT_T1,
	F2 ~func(A2) HKT_T2,
	F3 ~func(A3) HKT_T3,
	F4 ~func(A4) HKT_T4,
	F5 ~func(A5) HKT_T5,
	F6 ~func(A6) HKT_T6,
	F7 ~func(A7) HKT_T7,
	F8 ~func(A8) HKT_T8,
	F9 ~func(A9) HKT_T9,
	F10 ~func(A10) HKT_T10,
	F11 ~func(A11) HKT_T11,
	F12 ~func(A12) HKT_T12,
	A1, T1,
	A2, T2,
	A3, T3,
	A4, T4,
	A5, T5,
	A6, T6,
	A7, T7,
	A8, T8,
	A9, T9,
	A10, T10,
	A11, T11,
	A12, T12,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_T11,
	HKT_T12,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12,
	HKT_F_T5_T6_T7_T8_T9_T10_T11_T12,
	HKT_F_T6_T7_T8_T9_T10_T11_T12,
	HKT_F_T7_T8_T9_T10_T11_T12,
	HKT_F_T8_T9_T10_T11_T12,
	HKT_F_T9_T10_T11_T12,
	HKT_F_T10_T11_T12,
	HKT_F_T11_T12,
	HKT_F_T12,
	HKT_TUPLE12 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	fap10 AP10,
	fap11 AP11,
	f1 F1,
	f2 F2,
	f3 F3,
	f4 F4,
	f5 F5,
	f6 F6,
	f7 F7,
	f8 F8,
	f9 F9,
	f10 F10,
	f11 F11,
	f12 F12,
	t T.Tuple12[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12],
) HKT_TUPLE12

TraverseTuple12 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple12] of base types and 12 functions that transform these based types into higher higher kinded types. It returns a higher kinded type of a [Tuple12] with the resolved values.

func TraverseTuple13 added in v1.0.140 

func TraverseTuple13[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) func(T11) func(T12) func(T13) T.Tuple13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13) HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13) HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13) HKT_F_T6_T7_T8_T9_T10_T11_T12_T13,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10_T11_T12_T13) HKT_F_T7_T8_T9_T10_T11_T12_T13,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10_T11_T12_T13) HKT_F_T8_T9_T10_T11_T12_T13,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10_T11_T12_T13) HKT_F_T9_T10_T11_T12_T13,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10_T11_T12_T13) HKT_F_T10_T11_T12_T13,
	AP9 ~func(HKT_T10) func(HKT_F_T10_T11_T12_T13) HKT_F_T11_T12_T13,
	AP10 ~func(HKT_T11) func(HKT_F_T11_T12_T13) HKT_F_T12_T13,
	AP11 ~func(HKT_T12) func(HKT_F_T12_T13) HKT_F_T13,
	AP12 ~func(HKT_T13) func(HKT_F_T13) HKT_TUPLE13,
	F1 ~func(A1) HKT_T1,
	F2 ~func(A2) HKT_T2,
	F3 ~func(A3) HKT_T3,
	F4 ~func(A4) HKT_T4,
	F5 ~func(A5) HKT_T5,
	F6 ~func(A6) HKT_T6,
	F7 ~func(A7) HKT_T7,
	F8 ~func(A8) HKT_T8,
	F9 ~func(A9) HKT_T9,
	F10 ~func(A10) HKT_T10,
	F11 ~func(A11) HKT_T11,
	F12 ~func(A12) HKT_T12,
	F13 ~func(A13) HKT_T13,
	A1, T1,
	A2, T2,
	A3, T3,
	A4, T4,
	A5, T5,
	A6, T6,
	A7, T7,
	A8, T8,
	A9, T9,
	A10, T10,
	A11, T11,
	A12, T12,
	A13, T13,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_T11,
	HKT_T12,
	HKT_T13,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T6_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T7_T8_T9_T10_T11_T12_T13,
	HKT_F_T8_T9_T10_T11_T12_T13,
	HKT_F_T9_T10_T11_T12_T13,
	HKT_F_T10_T11_T12_T13,
	HKT_F_T11_T12_T13,
	HKT_F_T12_T13,
	HKT_F_T13,
	HKT_TUPLE13 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	fap10 AP10,
	fap11 AP11,
	fap12 AP12,
	f1 F1,
	f2 F2,
	f3 F3,
	f4 F4,
	f5 F5,
	f6 F6,
	f7 F7,
	f8 F8,
	f9 F9,
	f10 F10,
	f11 F11,
	f12 F12,
	f13 F13,
	t T.Tuple13[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13],
) HKT_TUPLE13

TraverseTuple13 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple13] of base types and 13 functions that transform these based types into higher higher kinded types. It returns a higher kinded type of a [Tuple13] with the resolved values.

func TraverseTuple14 added in v1.0.140 

func TraverseTuple14[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) func(T11) func(T12) func(T13) func(T14) T.Tuple14[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T7_T8_T9_T10_T11_T12_T13_T14,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10_T11_T12_T13_T14) HKT_F_T8_T9_T10_T11_T12_T13_T14,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10_T11_T12_T13_T14) HKT_F_T9_T10_T11_T12_T13_T14,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10_T11_T12_T13_T14) HKT_F_T10_T11_T12_T13_T14,
	AP9 ~func(HKT_T10) func(HKT_F_T10_T11_T12_T13_T14) HKT_F_T11_T12_T13_T14,
	AP10 ~func(HKT_T11) func(HKT_F_T11_T12_T13_T14) HKT_F_T12_T13_T14,
	AP11 ~func(HKT_T12) func(HKT_F_T12_T13_T14) HKT_F_T13_T14,
	AP12 ~func(HKT_T13) func(HKT_F_T13_T14) HKT_F_T14,
	AP13 ~func(HKT_T14) func(HKT_F_T14) HKT_TUPLE14,
	F1 ~func(A1) HKT_T1,
	F2 ~func(A2) HKT_T2,
	F3 ~func(A3) HKT_T3,
	F4 ~func(A4) HKT_T4,
	F5 ~func(A5) HKT_T5,
	F6 ~func(A6) HKT_T6,
	F7 ~func(A7) HKT_T7,
	F8 ~func(A8) HKT_T8,
	F9 ~func(A9) HKT_T9,
	F10 ~func(A10) HKT_T10,
	F11 ~func(A11) HKT_T11,
	F12 ~func(A12) HKT_T12,
	F13 ~func(A13) HKT_T13,
	F14 ~func(A14) HKT_T14,
	A1, T1,
	A2, T2,
	A3, T3,
	A4, T4,
	A5, T5,
	A6, T6,
	A7, T7,
	A8, T8,
	A9, T9,
	A10, T10,
	A11, T11,
	A12, T12,
	A13, T13,
	A14, T14,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_T11,
	HKT_T12,
	HKT_T13,
	HKT_T14,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T7_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T8_T9_T10_T11_T12_T13_T14,
	HKT_F_T9_T10_T11_T12_T13_T14,
	HKT_F_T10_T11_T12_T13_T14,
	HKT_F_T11_T12_T13_T14,
	HKT_F_T12_T13_T14,
	HKT_F_T13_T14,
	HKT_F_T14,
	HKT_TUPLE14 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	fap10 AP10,
	fap11 AP11,
	fap12 AP12,
	fap13 AP13,
	f1 F1,
	f2 F2,
	f3 F3,
	f4 F4,
	f5 F5,
	f6 F6,
	f7 F7,
	f8 F8,
	f9 F9,
	f10 F10,
	f11 F11,
	f12 F12,
	f13 F13,
	f14 F14,
	t T.Tuple14[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14],
) HKT_TUPLE14

TraverseTuple14 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple14] of base types and 14 functions that transform these based types into higher higher kinded types. It returns a higher kinded type of a [Tuple14] with the resolved values.

func TraverseTuple15 added in v1.0.140 

func TraverseTuple15[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) func(T10) func(T11) func(T12) func(T13) func(T14) func(T15) T.Tuple15[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T8_T9_T10_T11_T12_T13_T14_T15,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9_T10_T11_T12_T13_T14_T15) HKT_F_T9_T10_T11_T12_T13_T14_T15,
	AP8 ~func(HKT_T9) func(HKT_F_T9_T10_T11_T12_T13_T14_T15) HKT_F_T10_T11_T12_T13_T14_T15,
	AP9 ~func(HKT_T10) func(HKT_F_T10_T11_T12_T13_T14_T15) HKT_F_T11_T12_T13_T14_T15,
	AP10 ~func(HKT_T11) func(HKT_F_T11_T12_T13_T14_T15) HKT_F_T12_T13_T14_T15,
	AP11 ~func(HKT_T12) func(HKT_F_T12_T13_T14_T15) HKT_F_T13_T14_T15,
	AP12 ~func(HKT_T13) func(HKT_F_T13_T14_T15) HKT_F_T14_T15,
	AP13 ~func(HKT_T14) func(HKT_F_T14_T15) HKT_F_T15,
	AP14 ~func(HKT_T15) func(HKT_F_T15) HKT_TUPLE15,
	F1 ~func(A1) HKT_T1,
	F2 ~func(A2) HKT_T2,
	F3 ~func(A3) HKT_T3,
	F4 ~func(A4) HKT_T4,
	F5 ~func(A5) HKT_T5,
	F6 ~func(A6) HKT_T6,
	F7 ~func(A7) HKT_T7,
	F8 ~func(A8) HKT_T8,
	F9 ~func(A9) HKT_T9,
	F10 ~func(A10) HKT_T10,
	F11 ~func(A11) HKT_T11,
	F12 ~func(A12) HKT_T12,
	F13 ~func(A13) HKT_T13,
	F14 ~func(A14) HKT_T14,
	F15 ~func(A15) HKT_T15,
	A1, T1,
	A2, T2,
	A3, T3,
	A4, T4,
	A5, T5,
	A6, T6,
	A7, T7,
	A8, T8,
	A9, T9,
	A10, T10,
	A11, T11,
	A12, T12,
	A13, T13,
	A14, T14,
	A15, T15,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_T10,
	HKT_T11,
	HKT_T12,
	HKT_T13,
	HKT_T14,
	HKT_T15,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T3_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T4_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T5_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T6_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T7_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T8_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T9_T10_T11_T12_T13_T14_T15,
	HKT_F_T10_T11_T12_T13_T14_T15,
	HKT_F_T11_T12_T13_T14_T15,
	HKT_F_T12_T13_T14_T15,
	HKT_F_T13_T14_T15,
	HKT_F_T14_T15,
	HKT_F_T15,
	HKT_TUPLE15 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	fap9 AP9,
	fap10 AP10,
	fap11 AP11,
	fap12 AP12,
	fap13 AP13,
	fap14 AP14,
	f1 F1,
	f2 F2,
	f3 F3,
	f4 F4,
	f5 F5,
	f6 F6,
	f7 F7,
	f8 F8,
	f9 F9,
	f10 F10,
	f11 F11,
	f12 F12,
	f13 F13,
	f14 F14,
	f15 F15,
	t T.Tuple15[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15],
) HKT_TUPLE15

TraverseTuple15 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple15] of base types and 15 functions that transform these based types into higher higher kinded types. It returns a higher kinded type of a [Tuple15] with the resolved values.

func TraverseTuple2 

func TraverseTuple2[
	MAP ~func(func(T1) func(T2) T.Tuple2[T1, T2]) func(HKT_T1) HKT_F_T2,
	AP1 ~func(HKT_T2) func(HKT_F_T2) HKT_TUPLE2,
	F1 ~func(A1) HKT_T1,
	F2 ~func(A2) HKT_T2,
	A1, T1,
	A2, T2,
	HKT_T1,
	HKT_T2,
	HKT_F_T2,
	HKT_TUPLE2 any,
](
	fmap MAP,
	fap1 AP1,
	f1 F1,
	f2 F2,
	t T.Tuple2[A1, A2],
) HKT_TUPLE2

TraverseTuple2 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple2] of base types and 2 functions that transform these based types into higher higher kinded types. It returns a higher kinded type of a [Tuple2] with the resolved values.

func TraverseTuple3 

func TraverseTuple3[
	MAP ~func(func(T1) func(T2) func(T3) T.Tuple3[T1, T2, T3]) func(HKT_T1) HKT_F_T2_T3,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3) HKT_F_T3,
	AP2 ~func(HKT_T3) func(HKT_F_T3) HKT_TUPLE3,
	F1 ~func(A1) HKT_T1,
	F2 ~func(A2) HKT_T2,
	F3 ~func(A3) HKT_T3,
	A1, T1,
	A2, T2,
	A3, T3,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_F_T2_T3,
	HKT_F_T3,
	HKT_TUPLE3 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	f1 F1,
	f2 F2,
	f3 F3,
	t T.Tuple3[A1, A2, A3],
) HKT_TUPLE3

TraverseTuple3 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple3] of base types and 3 functions that transform these based types into higher higher kinded types. It returns a higher kinded type of a [Tuple3] with the resolved values.

func TraverseTuple4 

func TraverseTuple4[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) T.Tuple4[T1, T2, T3, T4]) func(HKT_T1) HKT_F_T2_T3_T4,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4) HKT_F_T3_T4,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4) HKT_F_T4,
	AP3 ~func(HKT_T4) func(HKT_F_T4) HKT_TUPLE4,
	F1 ~func(A1) HKT_T1,
	F2 ~func(A2) HKT_T2,
	F3 ~func(A3) HKT_T3,
	F4 ~func(A4) HKT_T4,
	A1, T1,
	A2, T2,
	A3, T3,
	A4, T4,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_F_T2_T3_T4,
	HKT_F_T3_T4,
	HKT_F_T4,
	HKT_TUPLE4 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	f1 F1,
	f2 F2,
	f3 F3,
	f4 F4,
	t T.Tuple4[A1, A2, A3, A4],
) HKT_TUPLE4

TraverseTuple4 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple4] of base types and 4 functions that transform these based types into higher higher kinded types. It returns a higher kinded type of a [Tuple4] with the resolved values.

func TraverseTuple5 

func TraverseTuple5[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) T.Tuple5[T1, T2, T3, T4, T5]) func(HKT_T1) HKT_F_T2_T3_T4_T5,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5) HKT_F_T3_T4_T5,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5) HKT_F_T4_T5,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5) HKT_F_T5,
	AP4 ~func(HKT_T5) func(HKT_F_T5) HKT_TUPLE5,
	F1 ~func(A1) HKT_T1,
	F2 ~func(A2) HKT_T2,
	F3 ~func(A3) HKT_T3,
	F4 ~func(A4) HKT_T4,
	F5 ~func(A5) HKT_T5,
	A1, T1,
	A2, T2,
	A3, T3,
	A4, T4,
	A5, T5,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_F_T2_T3_T4_T5,
	HKT_F_T3_T4_T5,
	HKT_F_T4_T5,
	HKT_F_T5,
	HKT_TUPLE5 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	f1 F1,
	f2 F2,
	f3 F3,
	f4 F4,
	f5 F5,
	t T.Tuple5[A1, A2, A3, A4, A5],
) HKT_TUPLE5

TraverseTuple5 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple5] of base types and 5 functions that transform these based types into higher higher kinded types. It returns a higher kinded type of a [Tuple5] with the resolved values.

func TraverseTuple6 

func TraverseTuple6[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) T.Tuple6[T1, T2, T3, T4, T5, T6]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6) HKT_F_T3_T4_T5_T6,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6) HKT_F_T4_T5_T6,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6) HKT_F_T5_T6,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6) HKT_F_T6,
	AP5 ~func(HKT_T6) func(HKT_F_T6) HKT_TUPLE6,
	F1 ~func(A1) HKT_T1,
	F2 ~func(A2) HKT_T2,
	F3 ~func(A3) HKT_T3,
	F4 ~func(A4) HKT_T4,
	F5 ~func(A5) HKT_T5,
	F6 ~func(A6) HKT_T6,
	A1, T1,
	A2, T2,
	A3, T3,
	A4, T4,
	A5, T5,
	A6, T6,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_F_T2_T3_T4_T5_T6,
	HKT_F_T3_T4_T5_T6,
	HKT_F_T4_T5_T6,
	HKT_F_T5_T6,
	HKT_F_T6,
	HKT_TUPLE6 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	f1 F1,
	f2 F2,
	f3 F3,
	f4 F4,
	f5 F5,
	f6 F6,
	t T.Tuple6[A1, A2, A3, A4, A5, A6],
) HKT_TUPLE6

TraverseTuple6 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple6] of base types and 6 functions that transform these based types into higher higher kinded types. It returns a higher kinded type of a [Tuple6] with the resolved values.

func TraverseTuple7 

func TraverseTuple7[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) T.Tuple7[T1, T2, T3, T4, T5, T6, T7]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7) HKT_F_T3_T4_T5_T6_T7,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7) HKT_F_T4_T5_T6_T7,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7) HKT_F_T5_T6_T7,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7) HKT_F_T6_T7,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7) HKT_F_T7,
	AP6 ~func(HKT_T7) func(HKT_F_T7) HKT_TUPLE7,
	F1 ~func(A1) HKT_T1,
	F2 ~func(A2) HKT_T2,
	F3 ~func(A3) HKT_T3,
	F4 ~func(A4) HKT_T4,
	F5 ~func(A5) HKT_T5,
	F6 ~func(A6) HKT_T6,
	F7 ~func(A7) HKT_T7,
	A1, T1,
	A2, T2,
	A3, T3,
	A4, T4,
	A5, T5,
	A6, T6,
	A7, T7,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_F_T2_T3_T4_T5_T6_T7,
	HKT_F_T3_T4_T5_T6_T7,
	HKT_F_T4_T5_T6_T7,
	HKT_F_T5_T6_T7,
	HKT_F_T6_T7,
	HKT_F_T7,
	HKT_TUPLE7 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	f1 F1,
	f2 F2,
	f3 F3,
	f4 F4,
	f5 F5,
	f6 F6,
	f7 F7,
	t T.Tuple7[A1, A2, A3, A4, A5, A6, A7],
) HKT_TUPLE7

TraverseTuple7 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple7] of base types and 7 functions that transform these based types into higher higher kinded types. It returns a higher kinded type of a [Tuple7] with the resolved values.

func TraverseTuple8 

func TraverseTuple8[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) T.Tuple8[T1, T2, T3, T4, T5, T6, T7, T8]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8) HKT_F_T3_T4_T5_T6_T7_T8,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8) HKT_F_T4_T5_T6_T7_T8,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8) HKT_F_T5_T6_T7_T8,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8) HKT_F_T6_T7_T8,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8) HKT_F_T7_T8,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8) HKT_F_T8,
	AP7 ~func(HKT_T8) func(HKT_F_T8) HKT_TUPLE8,
	F1 ~func(A1) HKT_T1,
	F2 ~func(A2) HKT_T2,
	F3 ~func(A3) HKT_T3,
	F4 ~func(A4) HKT_T4,
	F5 ~func(A5) HKT_T5,
	F6 ~func(A6) HKT_T6,
	F7 ~func(A7) HKT_T7,
	F8 ~func(A8) HKT_T8,
	A1, T1,
	A2, T2,
	A3, T3,
	A4, T4,
	A5, T5,
	A6, T6,
	A7, T7,
	A8, T8,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_F_T2_T3_T4_T5_T6_T7_T8,
	HKT_F_T3_T4_T5_T6_T7_T8,
	HKT_F_T4_T5_T6_T7_T8,
	HKT_F_T5_T6_T7_T8,
	HKT_F_T6_T7_T8,
	HKT_F_T7_T8,
	HKT_F_T8,
	HKT_TUPLE8 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	f1 F1,
	f2 F2,
	f3 F3,
	f4 F4,
	f5 F5,
	f6 F6,
	f7 F7,
	f8 F8,
	t T.Tuple8[A1, A2, A3, A4, A5, A6, A7, A8],
) HKT_TUPLE8

TraverseTuple8 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple8] of base types and 8 functions that transform these based types into higher higher kinded types. It returns a higher kinded type of a [Tuple8] with the resolved values.

func TraverseTuple9 

func TraverseTuple9[
	MAP ~func(func(T1) func(T2) func(T3) func(T4) func(T5) func(T6) func(T7) func(T8) func(T9) T.Tuple9[T1, T2, T3, T4, T5, T6, T7, T8, T9]) func(HKT_T1) HKT_F_T2_T3_T4_T5_T6_T7_T8_T9,
	AP1 ~func(HKT_T2) func(HKT_F_T2_T3_T4_T5_T6_T7_T8_T9) HKT_F_T3_T4_T5_T6_T7_T8_T9,
	AP2 ~func(HKT_T3) func(HKT_F_T3_T4_T5_T6_T7_T8_T9) HKT_F_T4_T5_T6_T7_T8_T9,
	AP3 ~func(HKT_T4) func(HKT_F_T4_T5_T6_T7_T8_T9) HKT_F_T5_T6_T7_T8_T9,
	AP4 ~func(HKT_T5) func(HKT_F_T5_T6_T7_T8_T9) HKT_F_T6_T7_T8_T9,
	AP5 ~func(HKT_T6) func(HKT_F_T6_T7_T8_T9) HKT_F_T7_T8_T9,
	AP6 ~func(HKT_T7) func(HKT_F_T7_T8_T9) HKT_F_T8_T9,
	AP7 ~func(HKT_T8) func(HKT_F_T8_T9) HKT_F_T9,
	AP8 ~func(HKT_T9) func(HKT_F_T9) HKT_TUPLE9,
	F1 ~func(A1) HKT_T1,
	F2 ~func(A2) HKT_T2,
	F3 ~func(A3) HKT_T3,
	F4 ~func(A4) HKT_T4,
	F5 ~func(A5) HKT_T5,
	F6 ~func(A6) HKT_T6,
	F7 ~func(A7) HKT_T7,
	F8 ~func(A8) HKT_T8,
	F9 ~func(A9) HKT_T9,
	A1, T1,
	A2, T2,
	A3, T3,
	A4, T4,
	A5, T5,
	A6, T6,
	A7, T7,
	A8, T8,
	A9, T9,
	HKT_T1,
	HKT_T2,
	HKT_T3,
	HKT_T4,
	HKT_T5,
	HKT_T6,
	HKT_T7,
	HKT_T8,
	HKT_T9,
	HKT_F_T2_T3_T4_T5_T6_T7_T8_T9,
	HKT_F_T3_T4_T5_T6_T7_T8_T9,
	HKT_F_T4_T5_T6_T7_T8_T9,
	HKT_F_T5_T6_T7_T8_T9,
	HKT_F_T6_T7_T8_T9,
	HKT_F_T7_T8_T9,
	HKT_F_T8_T9,
	HKT_F_T9,
	HKT_TUPLE9 any,
](
	fmap MAP,
	fap1 AP1,
	fap2 AP2,
	fap3 AP3,
	fap4 AP4,
	fap5 AP5,
	fap6 AP6,
	fap7 AP7,
	fap8 AP8,
	f1 F1,
	f2 F2,
	f3 F3,
	f4 F4,
	f5 F5,
	f6 F6,
	f7 F7,
	f8 F8,
	f9 F9,
	t T.Tuple9[A1, A2, A3, A4, A5, A6, A7, A8, A9],
) HKT_TUPLE9

TraverseTuple9 is a utility function used to implement the sequence operation for higher kinded types based only on map and ap. The function takes a [Tuple9] of base types and 9 functions that transform these based types into higher higher kinded types. It returns a higher kinded type of a [Tuple9] with the resolved values.

Types

type Apply added in v1.0.113 

type Apply[A, B, HKTA, HKTB, HKTFAB any] interface {
	functor.Functor[A, B, HKTA, HKTB]
	Ap(HKTA) func(HKTFAB) HKTB
}

Source Files

View all Source files

Directories

Path Synopsis

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.