ldbc.schema.interpreter.ColumnTupleConverter.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of ldbc-schema_3 Show documentation

Type safety schema construction project

The newest version!

/**
 * Copyright (c) 2023-2024 by Takahiko Tominaga
 * This software is licensed under the MIT License (MIT).
 * For more information see LICENSE or https://opensource.org/licenses/MIT
 */

package ldbc.schema.interpreter

/**
 * Column Type representing the conversion from Tuple to Tuple Map.
 *
 * @tparam Types
 *   Primitive Tuples
 * @tparam F
 *   Column Type
 */
opaque type ColumnTupleConverter[Types <: Tuple, F[_]] =
  ColumnTuples[Types, F] => Tuple.Map[Types, F]

/**
 * An object that converts a Column's Tuple to a Tuple Map
 */
object ColumnTupleConverter:

  /** Implicit value of ColumnTupleConverter according to the number of Tuples. */

  given [T, F[_]]: ColumnTupleConverter[T *: EmptyTuple, F] = (column: F[T]) => column *: EmptyTuple

  given [T1, T2, F[_]]: ColumnTupleConverter[(T1, T2), F] = identity

  given [T1, T2, TN <: NonEmptyTuple, F[_]](using
    converter: ColumnTupleConverter[T2 *: TN, F]
  ): ColumnTupleConverter[T1 *: T2 *: TN, F] =
    (columns: F[T1] *: ColumnTuples[T2 *: TN, F]) => columns.head *: converter(columns.tail)

  /**
   * Method for converting Column Tuple to Tuple Map.
   *
   * @param columnTuples
   *   Tuple of Columns
   * @param converter
   *   An object that converts a Column's Tuple to a Tuple Map
   * @tparam Types
   *   Primitive Tuples
   * @tparam F
   *   The effect type
   */
  def convert[Types <: Tuple, F[_]](columnTuples: ColumnTuples[Types, F])(using
    converter: ColumnTupleConverter[Types, F]
  ): Tuple.Map[Types, F] =
    converter(columnTuples)