Documentation
¶
Index ¶
- func Ap[HKTGA, HKTGB, HKTGAB, HKTFGAB, HKTFGGAB, HKTFGA, HKTFGB any](fap func(HKTFGA) func(HKTFGGAB) HKTFGB, ...) func(HKTFGAB) HKTFGB
- func ApFirst[HKTGA, HKTGB, HKTGBA, A, B any](fap func(HKTGBA, HKTGB) HKTGA, fmap func(HKTGA, func(A) func(B) A) HKTGBA, ...) func(HKTGA) HKTGA
- func ApS[S1, S2, B, HKTBGBS2, HKTS1, HKTS2, HKTB any](fap func(HKTB) func(HKTBGBS2) HKTS2, ...) func(HKTS1) HKTS2
- func ApSecond[HKTGA, HKTGB, HKTGBB, A, B any](fap func(HKTGBB, HKTGB) HKTGB, fmap func(HKTGA, func(A) func(B) B) HKTGBB, ...) func(HKTGA) HKTGB
- func MonadAp[HKTGA, HKTGB, HKTGAB, HKTFGAB, HKTFGGAB, HKTFGA, HKTFGB any](fap func(HKTFGGAB, HKTFGA) HKTFGB, ...) HKTFGB
- func MonadApFirst[HKTGA, HKTGB, HKTGBA, A, B any](fap func(HKTGBA, HKTGB) HKTGA, fmap func(HKTGA, func(A) func(B) A) HKTGBA, ...) HKTGA
- func MonadApS[S1, S2, B, HKTBGBS2, HKTS1, HKTS2, HKTB any](fap func(HKTBGBS2, HKTB) HKTS2, fmap func(HKTS1, func(S1) func(B) S2) HKTBGBS2, ...) HKTS2
- func MonadApSecond[HKTGA, HKTGB, HKTGBB, A, B any](fap func(HKTGBB, HKTGB) HKTGB, fmap func(HKTGA, func(A) func(B) B) HKTGBB, ...) HKTGB
- func SequenceT1[MAP ~func(func(T1) T.Tuple1[T1]) func(HKT_T1) HKT_TUPLE1, ...](fmap MAP, t1 HKT_T1) HKT_TUPLE1
- func SequenceT10[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE10
- func SequenceT11[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE11
- func SequenceT12[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE12
- func SequenceT13[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE13
- func SequenceT14[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE14
- func SequenceT15[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE15
- func SequenceT2[MAP ~func(func(T1) func(T2) T.Tuple2[T1, T2]) func(HKT_T1) HKT_F_T2, ...](fmap MAP, fap1 AP1, t1 HKT_T1, t2 HKT_T2) HKT_TUPLE2
- func SequenceT3[...](fmap MAP, fap1 AP1, fap2 AP2, t1 HKT_T1, t2 HKT_T2, t3 HKT_T3) HKT_TUPLE3
- func SequenceT4[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, t1 HKT_T1, t2 HKT_T2, t3 HKT_T3, ...) HKT_TUPLE4
- func SequenceT5[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, t1 HKT_T1, t2 HKT_T2, ...) HKT_TUPLE5
- func SequenceT6[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, t1 HKT_T1, ...) HKT_TUPLE6
- func SequenceT7[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, ...) HKT_TUPLE7
- func SequenceT8[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE8
- func SequenceT9[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE9
- func SequenceTuple1[MAP ~func(func(T1) T.Tuple1[T1]) func(HKT_T1) HKT_TUPLE1, ...](fmap MAP, t T.Tuple1[HKT_T1]) HKT_TUPLE1
- func SequenceTuple10[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE10
- func SequenceTuple11[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE11
- func SequenceTuple12[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE12
- func SequenceTuple13[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE13
- func SequenceTuple14[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE14
- func SequenceTuple15[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE15
- func SequenceTuple2[MAP ~func(func(T1) func(T2) T.Tuple2[T1, T2]) func(HKT_T1) HKT_F_T2, ...](fmap MAP, fap1 AP1, t T.Tuple2[HKT_T1, HKT_T2]) HKT_TUPLE2
- func SequenceTuple3[...](fmap MAP, fap1 AP1, fap2 AP2, t T.Tuple3[HKT_T1, HKT_T2, HKT_T3]) HKT_TUPLE3
- func SequenceTuple4[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, ...) HKT_TUPLE4
- func SequenceTuple5[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, ...) HKT_TUPLE5
- func SequenceTuple6[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, ...) HKT_TUPLE6
- func SequenceTuple7[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, ...) HKT_TUPLE7
- func SequenceTuple8[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE8
- func SequenceTuple9[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE9
- func ToFunctor[A, B, HKTA, HKTB, HKTFAB any](ap Apply[A, B, HKTA, HKTB, HKTFAB]) functor.Functor[A, B, HKTA, HKTB]
- func TraverseTuple1[MAP ~func(func(T1) T.Tuple1[T1]) func(HKT_T1) HKT_TUPLE1, F1 ~func(A1) HKT_T1, ...](fmap MAP, f1 F1, t T.Tuple1[A1]) HKT_TUPLE1
- func TraverseTuple10[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE10
- func TraverseTuple11[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE11
- func TraverseTuple12[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE12
- func TraverseTuple13[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE13
- func TraverseTuple14[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE14
- func TraverseTuple15[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE15
- func TraverseTuple2[MAP ~func(func(T1) func(T2) T.Tuple2[T1, T2]) func(HKT_T1) HKT_F_T2, ...](fmap MAP, fap1 AP1, f1 F1, f2 F2, t T.Tuple2[A1, A2]) HKT_TUPLE2
- func TraverseTuple3[...](fmap MAP, fap1 AP1, fap2 AP2, f1 F1, f2 F2, f3 F3, t T.Tuple3[A1, A2, A3]) HKT_TUPLE3
- func TraverseTuple4[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, f1 F1, f2 F2, f3 F3, f4 F4, ...) HKT_TUPLE4
- func TraverseTuple5[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, f1 F1, f2 F2, f3 F3, f4 F4, ...) HKT_TUPLE5
- func TraverseTuple6[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, f1 F1, f2 F2, ...) HKT_TUPLE6
- func TraverseTuple7[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, f1 F1, ...) HKT_TUPLE7
- func TraverseTuple8[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE8
- func TraverseTuple9[...](fmap MAP, fap1 AP1, fap2 AP2, fap3 AP3, fap4 AP4, fap5 AP5, fap6 AP6, fap7 AP7, ...) HKT_TUPLE9
- type Apply
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.