TupleFoldInstances

ldbc.statement.internal.TupleFoldInstances
abstract class TupleFoldInstances

Attributes

Source
TupleOps.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object FoldLeft

Members list

Type members

Types

type Aux[In, T, Op, Out0] = FoldLeft[In, T, Op] { type Out = Out0; }

Attributes

Source
TupleOps.scala

Givens

Givens

given given_Aux_In_Tuple10_Op_Out[In, T1, T2, T3, T4, T5, T6, T7, T8, T9, X, T10, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9), Op, X], f: Case[X, T10, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple11_Op_Out[In, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, X, T11, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10), Op, X], f: Case[X, T11, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple12_Op_Out[In, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, X, T12, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11), Op, X], f: Case[X, T12, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple13_Op_Out[In, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, X, T13, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12), Op, X], f: Case[X, T13, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple14_Op_Out[In, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, X, T14, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13), Op, X], f: Case[X, T14, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple15_Op_Out[In, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, X, T15, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14), Op, X], f: Case[X, T15, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple16_Op_Out[In, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, X, T16, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15), Op, X], f: Case[X, T16, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple17_Op_Out[In, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, X, T17, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16), Op, X], f: Case[X, T17, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple18_Op_Out[In, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, X, T18, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17), Op, X], f: Case[X, T18, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple19_Op_Out[In, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, X, T19, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18), Op, X], f: Case[X, T19, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple1_Op_Out[In, A, Op](using f: Case[In, A, Op]): Aux[In, Tuple1[A], Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple20_Op_Out[In, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, X, T20, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19), Op, X], f: Case[X, T20, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple21_Op_Out[In, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, X, T21, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20), Op, X], f: Case[X, T21, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple22_Op_Out[In, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, X, T22, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21), Op, X], f: Case[X, T22, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple2_Op_Out[In, T1, X, T2, Op](using fold: Aux[In, Tuple1[T1], Op, X], f: Case[X, T2, Op]): Aux[In, (T1, T2), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple3_Op_Out[In, T1, T2, X, T3, Op](using fold: Aux[In, (T1, T2), Op, X], f: Case[X, T3, Op]): Aux[In, (T1, T2, T3), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple4_Op_Out[In, T1, T2, T3, X, T4, Op](using fold: Aux[In, (T1, T2, T3), Op, X], f: Case[X, T4, Op]): Aux[In, (T1, T2, T3, T4), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple5_Op_Out[In, T1, T2, T3, T4, X, T5, Op](using fold: Aux[In, (T1, T2, T3, T4), Op, X], f: Case[X, T5, Op]): Aux[In, (T1, T2, T3, T4, T5), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple6_Op_Out[In, T1, T2, T3, T4, T5, X, T6, Op](using fold: Aux[In, (T1, T2, T3, T4, T5), Op, X], f: Case[X, T6, Op]): Aux[In, (T1, T2, T3, T4, T5, T6), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple7_Op_Out[In, T1, T2, T3, T4, T5, T6, X, T7, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6), Op, X], f: Case[X, T7, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple8_Op_Out[In, T1, T2, T3, T4, T5, T6, T7, X, T8, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6, T7), Op, X], f: Case[X, T8, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Tuple9_Op_Out[In, T1, T2, T3, T4, T5, T6, T7, T8, X, T9, Op](using fold: Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8), Op, X], f: Case[X, T9, Op]): Aux[In, (T1, T2, T3, T4, T5, T6, T7, T8, T9), Op, f.Out]

Attributes

Source
TupleOps.scala
given given_Aux_In_Unit_Op_In[In, Op]: Aux[In, Unit, Op, In]

Attributes

Source
TupleOps.scala